From 4b59e8d1bc8e14692c7777560c24dbd36dfdd591 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopess@php.net>
Date: Tue, 6 Jun 2006 11:20:24 +0000
Subject: [PATCH] link the date.timezone ini option to its page

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@214305 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/datetime/functions/date-default-timezone-set.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/reference/datetime/functions/date-default-timezone-set.xml b/reference/datetime/functions/date-default-timezone-set.xml
index 251fa59a0a..76e5fdbca8 100755
--- a/reference/datetime/functions/date-default-timezone-set.xml
+++ b/reference/datetime/functions/date-default-timezone-set.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.5 $ -->
+<!-- $Revision: 1.6 $ -->
 <refentry id="function.date-default-timezone-set">
  <refnamediv>
   <refname>date_default_timezone_set</refname>
@@ -28,7 +28,8 @@
   </note>
   <para>
    Instead of using this function to set the default timezone in your script,
-   you can also use the INI setting "date.timezone" to set the default
+   you can also use the INI setting <link
+   linkend="ini.date.timezone">date.timezone</link> to set the default
    timezone.
   </para>
  </refsect1>