Doc #76516 [Ver->Csd]: shuffle() has a note about undefined sorted order

Edit report at https://bugs.php.net/bug.php?id=76516&edit=1 ID: 76516 Updated by: cmb@php.net Reported by: dharkness at gmail dot com Summary: shuffle() has a note about undefined sorted order -Status: Verified +Status: Closed Type: Documentation Problem Package: Arrays related PHP Version: Irrelevant Assigned To: cmb 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: ------------------------------------------------------------------------ [2018-06-22 10:18:35] cmb@php.net Automatic comment from SVN on behalf of cmb Revision: http://svn.php.net/viewvc/?view=revision&revision=345180 Log: Fix #76516: shuffle() has a note about undefined sorted order ------------------------------------------------------------------------ [2018-06-22 08:10:50] cmb@php.net The note has been committed as part of the fix of bug #51229, but is obviously nonsense for shuffle(). ------------------------------------------------------------------------ [2018-06-22 04:59:13] requinix@php.net I checked the source back through PHP 4.0 and didn't see anything that would explain the note. Nothing obvious in the PHP 5 or 7 changelogs either. And the doc editor seems to be down so I can't check the page's edit history to see when the note was added. So tentatively and probably yes, that doesn't need to be there. ------------------------------------------------------------------------ [2018-06-22 04:33:18] dharkness at gmail dot com Description: ------------ --- From manual page: http://www.php.net/function.shuffle --- This note should be removed unless equal values truly affect the shuffled order: If two members compare as equal, their relative order in the sorted array is undefined. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=76516&edit=1