PHP: rfc:randomizer_additions
wiki.php.net