Насколько случайна функция PHP shuffle ()?

Кто-нибудь знает, в чем случайность функции PHP shuffle () ? Это зависит от операционной системы? Использует ли он собственный сеялку PHP?

Можно ли использовать mt_rand () в качестве генератора?