Cette fonction, appelle la fontion 'inc_charger_php_extension_dist' si l'extension demandee n'est pas chargée, placée donc dans inc/charger_php_extension.
- utilisation de ces fonctions dans les fonctions spip_versions_sqlite et spip_versions_pg, en plus de spip_versions_mysql.