From f49d1921d2c2677b453c2f2bccfdaab5f9d177f5 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Mon, 8 Dec 2003 09:19:54 +0000
Subject: [PATCH] Seed becomes optional in PHP 4.2.0

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@145949 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/math/functions/mt-srand.xml | 6 ++++--
 reference/math/functions/srand.xml    | 6 ++++--
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/reference/math/functions/mt-srand.xml b/reference/math/functions/mt-srand.xml
index 6a2a2e7046..3917d8389c 100644
--- a/reference/math/functions/mt-srand.xml
+++ b/reference/math/functions/mt-srand.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.5 $ -->
+<!-- $Revision: 1.6 $ -->
 <!-- splitted from ./en/functions/math.xml, last change in rev 1.2 -->
   <refentry id="function.mt-srand">
    <refnamediv>
@@ -10,11 +10,13 @@
     <title>Description</title>
      <methodsynopsis>
       <type>void</type><methodname>mt_srand</methodname>
-      <methodparam><type>int</type><parameter>seed</parameter></methodparam>
+      <methodparam choice="opt"><type>int</type><parameter>seed</parameter></methodparam>
      </methodsynopsis>
     <para>
      Seeds the random number generator with
      <parameter>seed</parameter>.
+     Since PHP 4.2.0, the <parameter>seed</parameter>
+     becomes optional and defaults to a random value if omitted.
      <informalexample>
       <programlisting role="php">
 <![CDATA[
diff --git a/reference/math/functions/srand.xml b/reference/math/functions/srand.xml
index 36f41460f0..2723aeac0c 100644
--- a/reference/math/functions/srand.xml
+++ b/reference/math/functions/srand.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.5 $ -->
+<!-- $Revision: 1.6 $ -->
 <!-- splitted from ./en/functions/math.xml, last change in rev 1.2 -->
   <refentry id="function.srand">
    <refnamediv>
@@ -10,11 +10,13 @@
     <title>Description</title>
      <methodsynopsis>
       <type>void</type><methodname>srand</methodname>
-      <methodparam><type>int</type><parameter>seed</parameter></methodparam>
+      <methodparam choice="opt"><type>int</type><parameter>seed</parameter></methodparam>
      </methodsynopsis>
     <para>
      Seeds the random number generator with
      <parameter>seed</parameter>.
+     Since PHP 4.2.0, the <parameter>seed</parameter>
+     becomes optional and defaults to a random value if omitted.
      <informalexample>
       <programlisting role="php">
 <![CDATA[