]> git.joonet.de Git - adminer.git/commitdiff
AdminerCodemirror: Use latest version
authorJakub Vrana <jakub@vrana.cz>
Tue, 1 Apr 2025 05:33:46 +0000 (07:33 +0200)
committerJakub Vrana <jakub@vrana.cz>
Tue, 1 Apr 2025 05:33:46 +0000 (07:33 +0200)
plugins/codemirror.php

index 47206f06862d66130096cb1f1a6b1a0d5fbcc6e5..8f5adf4e8d8677bb89e083a087017e26ce8fccb0 100644 (file)
@@ -11,7 +11,7 @@ class AdminerCodemirror {
        private $root;
        private $minified;
 
-       function __construct($root = "https://cdn.jsdelivr.net/npm/codemirror@5.65.19", $minified = ".min") {
+       function __construct($root = "https://cdn.jsdelivr.net/npm/codemirror@5", $minified = ".min") {
                $this->root = $root;
                $this->minified = $minified;
        }
@@ -26,7 +26,7 @@ class AdminerCodemirror {
 <?php
                echo Adminer\script_src("$this->root/lib/codemirror$this->minified.js");
                echo Adminer\script_src("$this->root/addon/runmode/runmode$this->minified.js");
-               echo Adminer\script_src("$this->root/addon/hint/show-hint.js");
+               echo Adminer\script_src("$this->root/addon/hint/show-hint$this->minified.js");
                echo Adminer\script_src("$this->root/mode/javascript/javascript$this->minified.js");
                $tables = array_fill_keys(array_keys($tableStatuses), array());
                if (Adminer\support("sql")) {