Error while copying from wp-content/plugins/woocommerce/vendor/opis/json-schema/src/Variables.php to wp-content/plugins/wp-file-manager/lib/codemirror/mode/gas/Variables.php