[spip-dev] spip 1.7.2 gerer_menu_langues

Bonsoir,
Dans la distrib de spip 1.7.2, fichier inc_lang.php3, la fonction
gerer_menu_langues n'existe plus. Du coup, la contrib de laurent-laville.org
sur la selection de langue ne fonctionne plus.
Une raison à ce changement ?
Merci.
Vafa.