Error while copying from wp-content/plugins/theme-editor/app/view/js/theme_editor.js to wp-content/plugins/wp-file-manager/lib/themes/gray/css/theme_editor.js