[timeconfig] Fix typo in the timeconfig.php page.