Na klar kann man eine bestimmte Zeile einer datei mit PHP ersetzen - wenn auch nicht direkt:
per file() einlesen --> gewünschte Zeile ändern --> alle Zeilen per implode(mit Seperator \n) wieder zusammensetzen --> in datei schreiben --> fertig!!!
thomas.