Error while copying from wp-content/plugins/wpide/vendor/nikic/php-parser/lib/PhpParser/Comment/Doc.php to wp-content/plugins/wp-file-manager/lib/codemirror/mode/tiki/Doc.php