The Danger of Naïveté

I wonder what PHPs shuffle() might use.