mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 07:36:44 +02:00
Code Issues Releases Wiki Activity

AdminerCodemirror: Use latest version

Browse Source
This commit is contained in:
Jakub Vrana
2025-04-01 07:33:46 +02:00
parent a27f0953a6
commit 717f0b0e10
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
plugins/codemirror.php
View File

@@ -11,7 +11,7 @@ class AdminerCodemirror {
private $root; private $root;
private $minified; 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->root = $root;
$this->minified = $minified; $this->minified = $minified;
} }
@@ -26,7 +26,7 @@ class AdminerCodemirror {
<?php <?php
echo Adminer\script_src("$this->root/lib/codemirror$this->minified.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/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"); echo Adminer\script_src("$this->root/mode/javascript/javascript$this->minified.js");
$tables = array_fill_keys(array_keys($tableStatuses), array()); $tables = array_fill_keys(array_keys($tableStatuses), array());
if (Adminer\support("sql")) { if (Adminer\support("sql")) {