Bug #61672 [Opn->Csd]: [DE] Wrong default value for rand maximum

Edit report at https://bugs.php.net/bug.php?id=61672&edit=1 ID: 61672 Updated by: nikic@php.net Reported by: bn at bennyn dot de Summary: [DE] Wrong default value for rand maximum -Status: Open +Status: Closed Type: Bug Package: Translation problem Operating System: Windows PHP Version: 5.4.0 -Assigned To: +Assigned To: nikic Block user comment: N Private report: N New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [2012-04-08 12:09:09] 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. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=61672&edit=1