Einer Textdatei etwas am Anfang hinzufügen

[Tom]

Hello,

wie wäre es statt dessen mit array_reverse()?

Das wäre insbesondere bei großen Arrays schon deshalb intelligenter, da hier nur Anfangs- und Endanker der Kette vertauscht werden zu brauchen. "Next" wird dann zu "Previous" und um gekehrt, aber auch das ist für PHP nicht zu schwer ;-))

Es kostet auf jeden Fall wesentlich weniger Rechenzeit.

Harzliche Grüße vom Berg
http://www.annerschbarrich.de

Tom