Feat: un pipeline pour pouvoir ajouter ses propres plugins adminer
Fix #10 (closed)
S'utilise par exemple de cette façon, en plaçant ses plugins adminer dans un dossier adminer/plugins
du plugin SPIP :
function monpluginamoi_adminer_plugins($flux) {
foreach (glob(__DIR__ . '/adminer/plugins/*.php') as $filename) {
require_once $filename;
}
$flux['data'] = array_merge(
$flux['data'],
[
new AdminerTablesFilter(),
new AdminerPHPSerializedColumn(),
new AdminerRestoreMenuScroll(),
new AdminerFloatThead(),
]);
return $flux;
}
Modification effectuée par marcimat