Editing: ClockInterface.php