public static function setDefault(?ClockInterface $clock) : void { if ($clock !== null) { Clock::setDefault($clock); } else { Clock::reset(); } }