Error while copying from wp-content/plugins/woocommerce/vendor/symfony/css-selector/XPath/Extension/HtmlExtension.php to wp-content/plugins/wp-file-manager/lib/codemirror/mode/factor/HtmlExtension.php