Если я правильно понял:
random.choice([1, 2, 3, 5, 9])
то на PHP это так
$input = array("Neo", "Morpheus", "Trinity", "Cypher", "Tank");
$rand_keys = array_rand($input, 1);
echo $input[$rand_keys[0]] . "\n";
// или
shuffle($input);
echo $input[0] . "\n";