A timer that updates a php file