debut_page remplace par commencer_page / reste debut et fin_raccourcis qui sont purement et simplement commentes
_plugins_/_stable_/indexation/exec/admin_index.php
Si tu veux trouver les nouvelles définitions de ce genre de fonction,
regarde dans vieilles_defs ; en l'occurrence debut_raccourcis() a été
remplacé par echo creer_colonne_droite(\'\', true); etc. (Enfin,
dans admin_index.php, je ne crois pas qu'on en ait besoin).
-- Fil