| assert <<< |
dl | extension_loaded >>> |
7.81 Options PHP et informations 7 Index des fonctions Manuel PHP . Introduction . Pré-requis . Installation . Configuration à l'exécution . Types de ressources . Constantes prédefinies . assert_options . assert ->dl . extension_loaded . get_cfg_var . get_current_user . get_defined_constants . get_extension_funcs . get_include_path . get_included_files . get_loaded_extensions . get_magic_quotes_gpc . get_magic_quotes_runtime . get_required_files . getenv . getlastmod . getmygid . getmyinode . getmypid . getmyuid . getopt . getrusage . ini_alter . ini_get_all . ini_get . ini_restore . ini_set . main . memory_get_usage . php_ini_scanned_files . php_logo_guid . php_sapi_name . php_uname . phpcredits . phpinfo . phpversion . putenv . restore_include_path . set_include_path . set_magic_quotes_runtime . set_time_limit . version_compare . zend_logo_guid . zend_version |
7.81.9 dl()Charge une extension PHP à la volée[ Exemples avec dl ] PHP 3, PHP 4 int dl ( string library )dl charge l'extension PHP library à la volée. Le paramètre library est seulement le nom de fichier de l'extension, qui dépend de votre plate-forme. Par exemple l'extension sockets (si compilée comme module partagé, et non par défaut), sera appelée sockets.so sous Unix, et php_sockets.dll sous Windows. Cette fonction retourne TRUE en cas de succès, FALSE en cas d'échec.. Si la fonctionnalité de chargement de module n'est pas disponible (voir Note), ou a été désactivé (soit en inactivant la directive enable_dl ou en activant le safe mode dans le php.ini ) une E_ERROR sera émise et l'exécution du script sera stoppée. Si la fonction dl échoue parce que la librairie n'a pu être trouvée, dl retournera FALSE et émettra un message d'alerte. Utilisez la fonction extension_loaded pour vérifier qu'une extension est chargée ou non. Cette fonction travaille aussi bien avec les extensions intégrées qu'avec les extensions dynamiquement chargées (via le php.ini , ou via dl ).
Le dossier où sont rangées les extensions dépend de votre plate forme : Windows - Si il n'est pas explicitement indiqué dans le fichier php.ini , le dossier des extensions est c:\php4\extensions\ . Unix - Si il n'est pas explicitement indiqué dans le fichier php.ini , le dossier des extensions dépend de
Voir aussi directives de chargement d'extensions et extension_loaded . |
| << | dl | >> |
| assert | Options PHP et informations | extension_loaded |