Error while copying from wp-content/plugins/wp-file-manager/index.php to wp-content/plugins/wp-file-manager/lib/codemirror/theme/index.php