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:
--
PHP Documentation Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
