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