diff --git a/reference/info/functions/dl.xml b/reference/info/functions/dl.xml index c4724a7fcb..f22e1a0568 100644 --- a/reference/info/functions/dl.xml +++ b/reference/info/functions/dl.xml @@ -1,5 +1,5 @@ - + @@ -26,7 +26,7 @@ &return.success; If the functionality of loading modules is not available (see Note) or has been disabled (either by turning it off enable_dl or by enabling safe_mode - in PHP.INI) an E_ERROR is emitted + in &php.ini;) an E_ERROR is emitted and execution is stopped. If dl fails because the specified library couldn't be loaded, in addition to &false; an E_WARNING message is emitted. @@ -34,8 +34,8 @@ Use extension_loaded to test whether a given extension is already available or not. This works on both built-in - extensions and dynamically loaded ones (either through - PHP.INI or dl). + extensions and dynamically loaded ones (either through &php.ini; + or dl). Example: @@ -52,13 +52,12 @@ if (!extension_loaded('gd')) { platform: - Windows - If not explicitly set in the PHP.INI, - the extension is loaded from c:\php4\extensions\ by - default. + Windows - If not explicitly set in the &php.ini;, the extension is + loaded from c:\php4\extensions\ by default. - Unix - If not explicitly set in the PHP.INI, the - default extension directory depends on + Unix - If not explicitly set in the &php.ini;, the default extension + directory depends on @@ -90,7 +89,7 @@ if (!extension_loaded('gd')) { dl is not supported in multithreaded Web servers. Use the extensions - statement in your PHP.INI when operating under such + statement in your &php.ini; when operating under such an environment. However, the CGI and CLI build are not affected !