Vorrei scrivere un semplice programmino PHP per mantenere in un unico file tutti i miei counter. In pratica il file dovrebbe contenere record del tipo

rosso:12983
verde:65433
bianco:99

ed essere usato come

<?php aggiorna("rosso"); ?>

Il risultato sarebbe, in questo caso, 12984

se invece scrivessi

<?php aggiorna("blu"); ?>

avrei 1 e il nuovo file sarebbe

rosso:12983
verde:65433
bianco:99
blu:1

Posso usare list() e split() per leggere le coppie nome:valore, ma come aggiorno il singolo record? Non ho familiarità con le funzioni di scrittura del PHP. In genere non lavoro con i file.