[php] Zeile in Datei suchen

[=?iso-8859-1?Q?Andr=E9?= Laugks]

Hallo! 

Ich habe eine txt-Datei, die zum Beispiel folgendermaßen
aufgebaut ist.

*.txt
----------------------------------
1
2
3
4
----------------------------------

Nun möchte ich zwischen 3 und 3 eine neue Zeile einfügen,
z.B. die Zahl 5.

----------------------------------
1
2
5
3
4
----------------------------------

Wie gehe ich das am besten an. Wie kann ich eine Zeile
zwischen zwei Zeilen einfügen. 

Was mir so im Kopf schwebt, das ich jede Zeile über file()
in ein Array einlese. Dann Frage ich die Array ab, z.B. nach 
der Nummer 2. Wenn ich die 2 habe, schiebe ich die 5
dazwischen und schreibe alles gleich in ein neues Array,
weches ich dann wieder in die Datei schreibe, nachdem ich
den Inhalt der alten TXT-Datei gelöscht habe.

Nun meine Frage, gibt es eine bessere Lösung? Wenn währe
ich für Tips sehr dankbar.

Vielen Dank und mfg, André Laugks