[PHP-DOC] cvs: phpdoc /en/reference/info/functions dl.xml

[Markus Fischer]

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>