From 41c71f885474171e0349d0667c9bbec30d4224fc Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Mon, 7 Apr 2025 14:23:35 +0200 Subject: [PATCH] Plugins: Defer syntax highlighting --- plugins/codemirror.php | 104 +++++++++++++++++++++-------------------- plugins/monaco.php | 88 +++++++++++++++++----------------- 2 files changed, 98 insertions(+), 94 deletions(-) diff --git a/plugins/codemirror.php b/plugins/codemirror.php index 56cdb688..cdbc57b3 100644 --- a/plugins/codemirror.php +++ b/plugins/codemirror.php @@ -24,14 +24,14 @@ class AdminerCodemirror { .CodeMirror { border: 1px inset #ccc; resize: both; } 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$this->minified.js"); - echo Adminer\script_src("$this->root/mode/javascript/javascript$this->minified.js"); + echo Adminer\script_src("$this->root/lib/codemirror$this->minified.js", true); + echo Adminer\script_src("$this->root/addon/runmode/runmode$this->minified.js", true); + echo Adminer\script_src("$this->root/addon/hint/show-hint$this->minified.js", true); + echo Adminer\script_src("$this->root/mode/javascript/javascript$this->minified.js", true); $tables = array_fill_keys(array_keys($tableStatuses), array()); if (Adminer\support("sql")) { - 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"); + echo Adminer\script_src("$this->root/mode/sql/sql$this->minified.js", true); + echo Adminer\script_src("$this->root/addon/hint/sql-hint$this->minified.js", true); if (isset($_GET["sql"]) || isset($_GET["trigger"]) || isset($_GET["check"])) { foreach (Adminer\driver()->allFields() as $table => $fields) { foreach ($fields as $field) { @@ -42,55 +42,57 @@ class AdminerCodemirror { } ?> root/loader.js"); + echo Adminer\script_src("$this->root/loader.js", true); ?>