Jag skulle läsa filen rad för rad och lägga till varje användare i en array.
[PHP]
$users = [];
$file = fopen('Database.txt', 'r');
while(!feof($file)) {
$users[] = explode('|', fgets($file));
}
fclose($file);
print_r($users);
[/PHP]
Ett annat alternativ är att du använder dig av
json_encode och
json_decode istället. Då kan du spara en array direkt i filen och slippa krångla lika mycket.