visualizzare contenuto da file txt

[Alhazred]

Quello lì è un file csv con punto e virgola come separatore.
Puoi fare così

// sostituisci file.csv col nome del tuo file di testo
$dati = file('file.csv');
$persone = [];
foreach($dati as $dato)
{
    $persona = explode(';', $dato);
    $persone[$persona[0]] = $persona[1];
}

echo $persone['pippo'];