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

AdminerCodemirror: Use jsDelivr by default

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-31 20:06:33 +02:00
parent 058a9ec2ce
commit 595c228175
1 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
plugins/codemirror.php
View File

@@ -9,26 +9,28 @@
*/ */
class AdminerCodemirror { class AdminerCodemirror {
private $root; 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->root = $root;
$this->minified = $minified;
} }
function syntaxHighlighting($tableStatuses) { function syntaxHighlighting($tableStatuses) {
?> ?>
<style> <style>
@import url(<?php echo $this->root; ?>/lib/codemirror.css); @import url(<?php echo $this->root; ?>/lib/codemirror<?php echo $this->minified; ?>.css);
@import url(<?php echo $this->root; ?>/addon/hint/show-hint.css); @import url(<?php echo $this->root; ?>/addon/hint/show-hint<?php echo $this->minified; ?>.css);
.CodeMirror { border: 1px inset #ccc; resize: both; } .CodeMirror { border: 1px inset #ccc; resize: both; }
</style> </style>
<?php <?php
echo Adminer\script_src("$this->root/lib/codemirror.js"); echo Adminer\script_src("$this->root/lib/codemirror$this->minified.js");
echo Adminer\script_src("$this->root/addon/runmode/runmode.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.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")) { if (Adminer\support("sql")) {
echo Adminer\script_src("$this->root/mode/sql/sql.js"); echo Adminer\script_src("$this->root/mode/sql/sql$this->minified.js");
echo Adminer\script_src("$this->root/addon/hint/sql-hint.js"); echo Adminer\script_src("$this->root/addon/hint/sql-hint$this->minified.js");
} }
$tables = array(); $tables = array();
foreach ($tableStatuses as $status) { foreach ($tableStatuses as $status) {