diff --git a/inc-public.php3 b/inc-public.php3 index 3eb580849079056e14308143def0857fd2f37a1b..5c0081f6eead89ea4874be857de35f31aa0b02a7 100644 --- a/inc-public.php3 +++ b/inc-public.php3 @@ -57,12 +57,6 @@ if (defined("_INC_PUBLIC")) { } } - // Inserer au besoin les boutons admins - if ($affiche_boutons_admin) { - include_local("inc-admin.php3"); - $page = affiche_boutons_admin($page); - } - // Passer la main au debuggueur le cas echeant if ($var_mode == 'debug') { include_ecrire("inc_debug_sql.php3"); @@ -77,6 +71,12 @@ if (defined("_INC_PUBLIC")) { $page = surligner_mots($page, $var_recherche); } + // Inserer au besoin les boutons admins + if ($affiche_boutons_admin) { + include_local("inc-admin.php3"); + $page = affiche_boutons_admin($page); + } + // Affichage final s'il en reste echo $page;