plugin.php Interfaces, Classes and Traits AdminerPlugin Adminer customization allowing usage of plugins