VII. PHP API: Interface pour les extensions