diff --git a/ecrire/exec/admin_plugin.php b/ecrire/exec/admin_plugin.php index ce864d939b580bb3354f0c410ee9dc385414c6e1..7daebaa6acf88f6ec625f1dfede07ac1463345c6 100644 --- a/ecrire/exec/admin_plugin.php +++ b/ecrire/exec/admin_plugin.php @@ -64,10 +64,9 @@ function admin_plug_args($quoi, $erreur, $format) echo debut_droite('plugin', true); echo gros_titre(_T('icone_admin_plugin'),'',false); -// echo barre_onglets("plugins", $quoi=='actifs'?"plugins_actifs":"admin_plugin"); // Barre d'onglets de premier niveau - echo barre_onglets("plugins", "plugins_actifs",'onglets_simple'); + echo barre_onglets("plugins", "plugins_actifs"); // Barre d'onglets de second niveau $onglet2 = $quoi=='actifs' ? 'plugins_actifs' : 'admin_plugin'; echo debut_onglet('onglets_simple second');