VII. PHP API : Interface pour les extensions