Ho provato alcune soluzioni ma da qualche parte si incastrano e rischio troppo che lo script combini danni al posto di risolveri.

Sto cercando di fare uno script che modifica un file di testo. Deve riconoscere una determinata stringa e scrivere nella riga di quella stringa.

Esempio, file di testo esempio.txt
$var1=0
$var2=1
$var3=5
$var4=129

ho bisogno che per esempio lo script modifichi il valore di $var3 in '500', per cui quando trova una riga che inizia con '$var3' la sostituisca con '$var3=500'.
Ho semplificato al massimo il file di testo da modificare, purtroppo non posso portare tutto su db in quanto il file di testo è il file di config. di un altro software......
C'è un modo semplice e indolore per fare questa cosa in php ?

un grazie in anticipo a chi mi può dare una mano