From a76cf4ca032e0f4c93e2c8899cfa8921df5e86e0 Mon Sep 17 00:00:00 2001 From: Mehdi Achour <didou@php.net> Date: Mon, 19 Feb 2007 00:25:55 +0000 Subject: [PATCH] missing role git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@230204 c90b9560-bf6c-de11-be94-00142212c4b1 --- reference/info/functions/dl.xml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/reference/info/functions/dl.xml b/reference/info/functions/dl.xml index 98ed945d45..3a6a47d71c 100644 --- a/reference/info/functions/dl.xml +++ b/reference/info/functions/dl.xml @@ -1,13 +1,13 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.25 $ --> -<!-- splitted from ./en/functions/info.xml, last change in rev 1.29 --> +<!-- $Revision: 1.26 $ --> <refentry id="function.dl"> <refnamediv> <refname>dl</refname> <refpurpose>Loads a PHP extension at runtime</refpurpose> </refnamediv> - <refsect1> - <title>Description</title> + + <refsect1 role="description"> + &reftitle.description; <methodsynopsis> <type>int</type><methodname>dl</methodname> <methodparam><type>string</type><parameter>library</parameter></methodparam>