Manuel PHP Référence des fonctions Extensions relatives aux dates et aux heures Date/Heure Installation/Configuration Types de ressources Configuration à l'exécution Constantes pré-définies Types de ressources Cette extension ne définit aucune ressource.