Hallo,
vielen Dank. Ich habe es jetzt rausgefunden. Das fertige Script lautet:
<?php
$username = "Heinz";
$userdatei = fopen ("user.txt","r+");
while ($username!=$zerlegen[0])
{
$zeile = fgets($userdatei,500);
$zerlegen = explode("|", $zeile);
}
echo "<b>$zerlegen[0]</b>, <i>$zerlegen[1]</i>, <u>$zerlegen[2]</u>";
fclose($userdatei);
?>