Remove CodeMirror PHP dependency

2018-01-23 12:00:58 +01:00 · 2018-01-23 12:00:58 +01:00 · 5bee0b3f34
--- a/WebAssets/mirrorsharp.js
+++ b/WebAssets/mirrorsharp.js
@ -18,8 +18,7 @@
          require('codemirror-addon-lint-fix'),
          require('codemirror/addon/hint/show-hint'),
          require('codemirror/mode/clike/clike'),
-          require('codemirror/mode/vb/vb'),
-          require('codemirror/mode/php/php')
+          require('codemirror/mode/vb/vb')
        );
    }
    else {