php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #61672 [DE] Wrong default value for rand maximum
Submitted: 2012-04-08 12:09 UTC Modified: 2012-05-09 11:56 UTC
From: bn at bennyn dot de Assigned: nikic (profile)
Status: Closed Package: Translation problem
PHP Version: 5.4.0 OS: Windows
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: bn at bennyn dot de
New email:
PHP Version: OS:

 

 [2012-04-08 12:09 UTC] bn at bennyn dot de
Description:
------------
On http://de3.php.net/manual/en/function.rand.php the documentation says that getrandmax() is only 32767 on Windows. But the German translation (http://de3.php.net/manual/de/function.rand.php) says that it is 32768.


Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2012-04-13 13:26 UTC] yannick@php.net
-Summary: Wrong default value for rand maximum +Summary: [DE] Wrong default value for rand maximum
 [2012-05-09 11:56 UTC] nikic@php.net
This bug has been fixed in the documentation's XML sources. Since the
online and downloadable versions of the documentation need some time
to get updated, we would like to ask you to be a bit patient.

Thank you for the report, and for helping us make our documentation better.


 [2012-05-09 11:56 UTC] nikic@php.net
-Status: Open +Status: Closed -Assigned To: +Assigned To: nikic
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Thu Apr 18 03:01:28 2024 UTC