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

mfischer Fri May 10 17:32:20 2002 EDT Modified files: /phpdoc/en/reference/info/functions dl.xml Log: - Use <filename> tag where appropriate. Index: phpdoc/en/reference/info/functions/dl.xml diff -u phpdoc/en/reference/info/functions/dl.xml:1.6 phpdoc/en/reference/info/functions/dl.xml:1.7 --- phpdoc/en/reference/info/functions/dl.xml:1.6 Wed May 8 13:45:23 2002 +++ phpdoc/en/reference/info/functions/dl.xml Fri May 10 17:32:19 2002 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.6 $ --> +<!-- $Revision: 1.7 $ --> <!-- splitted from ./en/functions/info.xml, last change in rev 1.29 --> <refentry id="function.dl"> <refnamediv> @@ -18,9 +18,9 @@ parameter is <emphasis>only</emphasis> the filename of the extension to load which also depends on your platform. For example, the <link linkend="ref.sockets">sockets</link> extension (if compiled as a shared - module, not the default!) would be called <literal>sockets.so</literal> - on unix platforms whereas it is called <literal>php_sockets.dll</literal> - on the windows platform. + module, not the default!) would be called <filename>sockets.so</filename> + on unix platforms whereas it is called + <filename>php_sockets.dll</filename> on the windows platform. </para> <para> &return.success; If the functionality of loading modules is not available @@ -53,7 +53,7 @@ </para> <para> Windows - If not explicitly set in the &php.ini;, the extension is - loaded from <literal>c:\php4\extensions\</literal> by default. + loaded from <filename>c:\php4\extensions\</filename> by default. </para> <para> Unix - If not explicitly set in the &php.ini;, the default extension @@ -82,8 +82,9 @@ Taking into account the above, the directory then defaults to <literal>&lt;php-install-directory&gt;/lib/php/extension/&lt;debug-or-not&gt;-&lt;zts-or-not&gt;-ZEND_MODULE_API_NO</literal>, e.g. - <literal>/usr/local/php/lib/php/extensions/debug-non-zts-20010901</literal> - or <literal>/usr/local/php/lib/php/extensions/no-debug-zts-20010901</literal>. + <filename>/usr/local/php/lib/php/extensions/debug-non-zts-20010901</filename> + or + <filename>/usr/local/php/lib/php/extensions/no-debug-zts-20010901</filename>. </para> <note> <para>