in src/datetime/_Private/util.php [15:19]
function days_in_month(int $year, int $month): int { return $month === 2 && is_leap_year($year) ? 29 : vec[31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31][$month - 1]; }