Im Manuel steht nichts zum Rückgabewert von array_rand() falls das übergebene Array leer ist.
In PHP 5.2.10 ist der Rückgabewer NULL.
Meine Frage ist, kann man sich darauf verlassen oder sollte man immer vorher zusätzlich prüfen, ob das Array leer ist?