in src/datetime/_Private/util.php [21:23]
function is_leap_year(int $year): bool { return $year % 4 === 0 && ($year % 100 !== 0 || $year % 400 === 0); }