[PHP-DOC] rand function definition

[Rasmus Lerdorf]

Currently rand shows up as:

int rand ( void)int rand ( int min, int max)

at http://www.php.net/manual/en/function.rand.php

This is extremely ugly.  Ca we not do:

int rand([int min, int max])

?

-Rasmus