Add plugins/plugin.php for backwards compatibility

diff --git a/plugins/plugin.php b/plugins/plugin.php
new file mode 100644 (file)
index 0000000..799ea4c
--- /dev/null
+++ b/plugins/plugin.php
@@ -0,0 +1,10 @@
+<?php
+
+/** Adminer customization allowing usage of plugins
+* @link https://www.adminer.org/plugins/#use
+* @author Jakub Vrana, https://www.vrana.cz/
+* @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 AdminerPlugin extends Adminer\Plugins {
+}