Editing: TimeProviderInterface.php