This seems simple but I can\'t figure it out.
file_get_contents(\'count.txt\'); $variable_from_file++; file_put_contents(\'count.txt\', $variable_from_file);
$variable_from_file = (int)file_get_contents('count.txt');
But notice that this is not thread-safe.