2025-03-18 22:01:16 +01:00
|
|
|
<?php
|
2025-03-23 19:59:54 +01:00
|
|
|
// this file is not used anymore and you don't need to include it; it's kept only for backwards compatibility
|
2025-03-18 22:01:16 +01:00
|
|
|
|
|
|
|
|
/** 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 {
|
|
|
|
|
}
|
