Un semplice codice come questo, non era sufficiente?

Codice PHP:
file_put_contents('id.txt', (int)file_get_contents('id.txt') + 1);