Merge pull request #6 from MIvanchev/issue-4-update-jquery

Updating jQuery and incrementing version.
MIvanchev · Nov 25, 2023 · 951f9ca · 951f9ca
2 parents 8c7f625 + 351431d
commit 951f9ca
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/background.js b/background.js
@@ -17,7 +17,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>.
 */
 
 const VERSION = browser.runtime.getManifest().version
-const ALL_VERSIONS = ["1.0.0", VERSION]
+const ALL_VERSIONS = ["1.0.0", "1.0.1", VERSION]
 
 const VALIDATORS = [
     validateFieldPresent("version"),
@@ -160,7 +160,7 @@ async function register(settings) {
     if (settings.enabled) {
         var options = {
             "js": [{
-                "file": "jquery-3.6.0.min.js"
+                "file": "jquery-3.7.1.min.js"
             }, {
                 "code": settings.script
             }],

diff --git a/beautify.py b/beautify.py
@@ -25,7 +25,7 @@ def beautifyHtml(content):
 
 for root, dirs, files in os.walk("."):
     for name in files:
-        if name != "jquery-3.6.0.min.js":
+        if re.fullmatch(r"jquery-[0-9]+\.[0-9]+\.[0-9]+\.min.js", name):
             ext = os.path.splitext(name)[1][1:]
             beautifier = BEAUTIFIERS.get(ext)
             if beautifier:

diff --git a/jquery-3.6.0.min.js b/jquery-3.6.0.min.js
diff --git a/jquery-3.7.1.min.js b/jquery-3.7.1.min.js