cvs: phpdoc /en/reference/info/functions dl.xml

dams Wed Feb 5 21:25:33 2003 EDT Modified files: /phpdoc/en/reference/info/functions dl.xml Log: correcting example Index: phpdoc/en/reference/info/functions/dl.xml diff -u phpdoc/en/reference/info/functions/dl.xml:1.8 phpdoc/en/reference/info/functions/dl.xml:1.9 --- phpdoc/en/reference/info/functions/dl.xml:1.8 Wed Oct 9 05:50:25 2002 +++ phpdoc/en/reference/info/functions/dl.xml Wed Feb 5 21:25:33 2003 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.8 $ --> +<!-- $Revision: 1.9 $ --> <!-- splitted from ./en/functions/info.xml, last change in rev 1.29 --> <refentry id="function.dl"> <refnamediv> @@ -8,10 +8,10 @@ </refnamediv> <refsect1> <title>Description</title> - <methodsynopsis> - <type>bool</type><methodname>dl</methodname> - <methodparam><type>string</type><parameter>library</parameter></methodparam> - </methodsynopsis> + <methodsynopsis> + <type>int</type><methodname>dl</methodname> + <methodparam><type>string</type><parameter>library</parameter></methodparam> + </methodsynopsis> <para> Loads the PHP extension given by the parameter <parameter>library</parameter>. The <parameter>library</parameter> @@ -37,16 +37,18 @@ extensions and dynamically loaded ones (either through &php.ini; or <function>dl</function>). </para> - <para> - Example: + <example> + <title>Exemple avec <function>dl</function></title> <programlisting role="php"> +<![CDATA[ if (!extension_loaded('gd')) { if (!dl('gd.so')) { exit; } } +]]> </programlisting> - </para> + </example> <para> The directory where the extension is loaded from depends on your platform: