Replaced some ace files with minified, removed clippy etc code from js file

2015-09-14 19:14:34 +02:00
parent a4e21eb7dd
commit c2229cbffc
6 changed files with 22 additions and 25709 deletions
@@ -102,6 +102,7 @@ if (isset($_POST['code'])) {
        <script src="ace/ace.js"></script>
        <script src="ace/theme-monokai.js"></script>
        <script src="ace/mode-php.js"></script>
+        <script src="ace/ext-language_tools.js"></script>
        <script src="php-console.js"></script>

        <script>