Editing: Time.php