Prueba esto:
Código PHP:
<?php
$numeros = array ('1', '2', '3', '4', '5', '6', '7', '8', '9');
srand ((float)microtime()*1000000);
shuffle($numeros);
for ($i=0; $i < 3;$i++)
{
echo $numeros[$i]." ";
}
?>
Si no funciona probablemente tenga algo que ver con la versión de PHP que estas usando, y por eso no te sirve esta función.
Hojala te sirva. Suerte