1
0
mirror of https://github.com/vrana/adminer.git synced 2025-08-05 06:07:57 +02:00

Rename highlight plugins

This commit is contained in:
Jakub Vrana
2025-06-19 09:12:04 +02:00
parent 27c5f6d21b
commit 466eceff40
3 changed files with 3 additions and 3 deletions

View File

@@ -7,7 +7,7 @@
* @license https://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
* @license https://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
*/
class AdminerCodemirror extends Adminer\Plugin {
class AdminerHighlightCodemirror extends Adminer\Plugin {
private $root;
private $minified;

View File

@@ -7,7 +7,7 @@
* @license https://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
* @license https://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
*/
class AdminerMonaco extends Adminer\Plugin {
class AdminerHighlightMonaco extends Adminer\Plugin {
private $root;
function __construct($root = "https://cdn.jsdelivr.net/npm/monaco-editor@0.52/min/vs") {

View File

@@ -7,7 +7,7 @@
* @license https://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
* @license https://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
*/
class AdminerPrism extends Adminer\Plugin {
class AdminerHighlightPrism extends Adminer\Plugin {
private $editorRoot;
private $minified;
private $theme;