diff --git a/plugins/codemirror.php b/plugins/codemirror.php index f280616c..2a5475f5 100644 --- a/plugins/codemirror.php +++ b/plugins/codemirror.php @@ -9,26 +9,28 @@ */ class AdminerCodemirror { private $root; + private $minified; - function __construct($root = "codemirror5") { + function __construct($root = "https://cdn.jsdelivr.net/npm/codemirror@5.65.19", $minified = ".min") { $this->root = $root; + $this->minified = $minified; } function syntaxHighlighting($tableStatuses) { ?> root/lib/codemirror.js"); - echo Adminer\script_src("$this->root/addon/runmode/runmode.js"); + 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/mode/javascript/javascript.js"); + echo Adminer\script_src("$this->root/mode/javascript/javascript$this->minified.js"); if (Adminer\support("sql")) { - echo Adminer\script_src("$this->root/mode/sql/sql.js"); - echo Adminer\script_src("$this->root/addon/hint/sql-hint.js"); + echo Adminer\script_src("$this->root/mode/sql/sql$this->minified.js"); + echo Adminer\script_src("$this->root/addon/hint/sql-hint$this->minified.js"); } $tables = array(); foreach ($tableStatuses as $status) {