betz Wed Jan 2 16:40:52 2002 EDT
Modified files:
/phpdoc/de/functions info.xml
Log:
moving contents from dl.xml to the right place in info.xml
Index: phpdoc/de/functions/info.xml
diff -u phpdoc/de/functions/info.xml:1.26 phpdoc/de/functions/info.xml:1.27
--- phpdoc/de/functions/info.xml:1.26 Sun Dec 30 03:41:11 2001
+++ phpdoc/de/functions/info.xml Wed Jan 2 16:40:52 2002
@@ -174,6 +174,27 @@
</refsect1>
</refentry>
+ <refentry id="function.dl">
+ <refnamediv>
+ <refname>dl</refname>
+ <refpurpose>Eine PHP-Extension zur Lufzeit laden</refpurpose>
+ </refnamediv>
+ <refsect1>
+ <title>Beschreibung</title>
+ <funcsynopsis>
+ <funcprototype>
+ <funcdef>int <function>dl</function></funcdef>
+ <paramdef>string <parameter>library</parameter></paramdef>
+ </funcprototype>
+ </funcsynopsis>
+ <para>
+ Lädt die PHP-Bibliothek <parameter>library</parameter> zur Laufzeit.
+ Siehe auch die
+ <link linkend="ini.sect.extension">Extension Loading-Direktiven</link>.
+ </para>
+ </refsect1>
+ </refentry>
+
<refentry id="function.extension-loaded">
<refnamediv>
<refname>extension_loaded</refname>