Update timer_example.php