From 595c228175adf05abffff9fc051e032ee1cdca59 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 31 Mar 2025 20:06:33 +0200
Subject: [PATCH] AdminerCodemirror: Use jsDelivr by default

---
 plugins/codemirror.php | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

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) {
 		?>
 <style>
-@import url(<?php echo $this->root; ?>/lib/codemirror.css);
-@import url(<?php echo $this->root; ?>/addon/hint/show-hint.css);
+@import url(<?php echo $this->root; ?>/lib/codemirror<?php echo $this->minified; ?>.css);
+@import url(<?php echo $this->root; ?>/addon/hint/show-hint<?php echo $this->minified; ?>.css);
 .CodeMirror { border: 1px inset #ccc; resize: both; }
 </style>
 <?php
-		echo Adminer\script_src("$this->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) {