Infatti, usando file() è semplice.
Tuttavia...ehm... che ci sta a fare questo??

Codice PHP:
$file_read=fopen("leggi.txt","r");