Hola d_, no entiendo bien el código PHP, pero entiendo que quieres leer un archivo y leer las líneas aleatoreamente, para eso te propongo este código:
Código PHP:
<?php
$array_archivo = file("post.txt"); //$arrar_archivo tiene una elemento por linea de archivo
$array_archivo = shuffle($array_archivo); //ahora lo mezclo aleatoreamente
$total_lineas = count($array_archivo); //Total de lineas
print_r($array_archivo); //salida por pantalla
?>
Espero que sirva, si no, postea! Salu2