Random value options

I want to pick some value from array randomly, but I'm not sure about best way to do it(in terms of performance etc). I'm only a beginner, so I don't know many ways to random values and don't know how they affect performance and exact differences of them. For example: "mt_rand" is four times faster than "rand" function.

If I have this array of names:

$myarrayofnames = ["Marcelle","Caroll","Kristina","Tisha","Filomena","Vesta","Josphine"];

And I want to pick from them, what are my options?