From 95b7f83b3eb32eeded8265554e2236da29e0ab62 Mon Sep 17 00:00:00 2001
From: Markus Fischer <mfischer@php.net>
Date: Fri, 10 May 2002 21:32:19 +0000
Subject: [PATCH] - Use <filename> tag where appropriate.

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@81709 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/info/functions/dl.xml | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/reference/info/functions/dl.xml b/reference/info/functions/dl.xml
index f22e1a0568..4d4d1ab459 100644
--- a/reference/info/functions/dl.xml
+++ b/reference/info/functions/dl.xml
@@ -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 @@ if (!extension_loaded('gd')) {
     </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 @@ if (!extension_loaded('gd')) {
      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>