Motivation: https://filip-prochazka.com/blog/obarvete-si-adminer
Thanks to Ladislav Marek for making this look nicer than I did :)
Simply add new instance of the plugin in your $plugins as the official documentation states
function adminer_object() {
// required to run any plugin
include_once "./plugins/plugin.php";
// autoloader
foreach (glob("plugins/*.php") as $filename) {
include_once "./$filename";
}
$plugins = array(
// specify enabled plugins here
new AdminerColors(array(
# specify as many servers as you want
'127.0.0.1' => '#009245',
'dev.server.cz' => '#F7931E',
'www.server.cz' => '#ED1C24',
)),
);
return new AdminerPlugin($plugins);
}
// include original Adminer or Adminer Editor
include "./adminer.php";