php/php-src — pull request #142 by TazeTSchnitzel (2012-07-23 00:03:02+00:00)
Title: Added array_pick($array) function: gets value of random array item.

I'll make an internals email about this in a moment, see that for reasoning/arguments/whatever.