Update codemirror.files.php