[PHP] Does array_rand need to be seeded?

[Matt Grimm]

The manual entry for array_rand states:

"Don't forget to call srand() to seed the random number generator."

However, the srand page states this:

"Note: Since PHP 4.2.0 it's no longer necessary to seed the random number generator 
before using it."

Is the 'random number generator' identical for all PHP random functions?  So I'm *not* 
required to seed any of them?

Thanks,
--
Matt Grimm