AdminerPlugin: Delete

diff --git a/plugins/plugin.php b/plugins/plugin.php
deleted file mode 100644 (file)
index e6942eb..0000000
--- a/plugins/plugin.php
+++ /dev/null
@@ -1,11 +0,0 @@
-<?php
-// this file is not used anymore and you don't need to include it; it's kept only for backwards compatibility
-
-/** 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 {
-}