added search minification

w8tcha · Jun 10, 2022 · 77268f8 · 77268f8
1 parent 0fbc33d
commit 77268f8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 768 deletions.
diff --git a/Gruntfile.js b/Gruntfile.js
@@ -260,6 +260,12 @@ module.exports = function(grunt) {
                 ],
                 dest: "codemirror/js/codemirror.min.js"
             },
+            searchAddon: {
+                src: [
+                    "codemirror/js/codemirror.addons.search.min.js",
+                ],
+                dest: "codemirror/js/codemirror.addons.search.min.js"
+            },
             mergeAddon: {
                 src: [
                     "codemirror/js/addon/merge/merge.js",
@@ -351,7 +357,7 @@ module.exports = function(grunt) {
                 options: {
                     reportUpdated: true,
 					updateType: "force",
-					semver: false
+					semver: true
                 }
             }
         }