From e33ead15e577b8a53c060317b1111368af9cf919 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 7 Apr 2025 18:55:14 +0200
Subject: [PATCH] AdminerPlugin: Delete

---
 plugins/plugin.php | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 plugins/plugin.php

diff --git a/plugins/plugin.php b/plugins/plugin.php
deleted file mode 100644
index e6942eb5..00000000
--- 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 {
-}