Error while copying from wp-includes/js/mediaelement/class-wp-scripts.php to wp-includes/js/codemirror/class-wp-scripts.php