Error while copying from admin/wp-content/administrator/data-provider/plugins/codemirror/mode/python/python.js to admin/wp-content/administrator/data-provider/plugins/codemirror/mode/ebnf/python.js