La file_put_contents era proprio quello che ci voleva, ho risolto il tutto in due righe grazie.

$interventi = $interventi + 1;
file_put_contents("private/interventi.php", "<"."?php \$interventi = $interventi; ?".">");

Ciao
Valerio