Manuel PHP Référence des fonctions Extensions sur le contrôle des processus Mémoire partagée Installation/Configuration Types de ressources Configuration à l'exécution Constantes pré-définies Types de ressources Cette extension ne définit aucune ressource.