From 3e455a4787db8f6c3f404d04f051673dea128185 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Mon, 7 Apr 2025 16:32:57 +0200 Subject: [PATCH] Plugins: Extend Adminer\Plugin --- plugins/adminer.js.php | 2 +- plugins/backward-keys.php | 2 +- plugins/before-unload.php | 2 +- plugins/codemirror.php | 4 ++-- plugins/dark-switcher.php | 2 +- plugins/database-hide.php | 2 +- plugins/designs.php | 2 +- plugins/dump-alter.php | 2 +- plugins/dump-bz2.php | 2 +- plugins/dump-date.php | 2 +- plugins/dump-json.php | 2 +- plugins/dump-php.php | 2 +- plugins/dump-xml.php | 2 +- plugins/dump-zip.php | 2 +- plugins/edit-calendar.php | 2 +- plugins/edit-foreign.php | 2 +- plugins/edit-textarea.php | 2 +- plugins/editor-setup.php | 2 +- plugins/editor-views.php | 2 +- plugins/email-table.php | 2 +- plugins/enum-option.php | 2 +- plugins/file-upload.php | 2 +- plugins/foreign-system.php | 4 ++-- plugins/frames.php | 4 ++-- plugins/json-column.php | 2 +- plugins/login-ip.php | 2 +- plugins/login-otp.php | 2 +- plugins/login-password-less.php | 4 ++-- plugins/login-servers.php | 2 +- plugins/login-ssl.php | 2 +- plugins/login-table.php | 4 ++-- plugins/master-slave.php | 2 +- plugins/monaco.php | 2 +- plugins/pretty-json-column.php | 2 +- plugins/prism.php | 2 +- plugins/slugify.php | 2 +- plugins/sql-log.php | 2 +- plugins/table-indexes-structure.php | 2 +- plugins/table-structure.php | 2 +- plugins/tables-filter.php | 4 ++-- plugins/tinymce.php | 2 +- plugins/translation.php | 4 ++-- plugins/version-github.php | 2 +- plugins/version-noverify.php | 2 +- 44 files changed, 51 insertions(+), 51 deletions(-) diff --git a/plugins/adminer.js.php b/plugins/adminer.js.php index a89ccae5..0628918d 100644 --- a/plugins/adminer.js.php +++ b/plugins/adminer.js.php @@ -8,7 +8,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 AdminerDotJs { +class AdminerDotJs extends Adminer\Plugin { const FILENAME = "adminer.js"; function head($dark = null) { diff --git a/plugins/backward-keys.php b/plugins/backward-keys.php index 06fc33a6..491ce3d5 100644 --- a/plugins/backward-keys.php +++ b/plugins/backward-keys.php @@ -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 AdminerBackwardKeys { +class AdminerBackwardKeys extends Adminer\Plugin { // this is copy-pasted from Adminer Editor function backwardKeys($table, $tableName) { diff --git a/plugins/before-unload.php b/plugins/before-unload.php index 5c37ca31..68e14774 100644 --- a/plugins/before-unload.php +++ b/plugins/before-unload.php @@ -6,7 +6,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 AdminerBeforeUnload { +class AdminerBeforeUnload extends Adminer\Plugin { function head($dark = null) { ?> diff --git a/plugins/codemirror.php b/plugins/codemirror.php index cdbc57b3..1d476fc8 100644 --- a/plugins/codemirror.php +++ b/plugins/codemirror.php @@ -1,13 +1,13 @@ including type-ahead of keywords and tables +/** Use CodeMirror 5 for syntax highlighting and