Узнать возраст по дате рождения с помощью PHP

Очень часто требуется фильтровать пользователей по их возрасту, а возраст web-разработчик вычисляет по дате рождения. Задача сама по себе не очень простая, т.к. раз в четыре года мелькает високосный год и усложняет вычисления.

Этот код учитывает високосные года и работает верно:

<?php
    $day = $_POST['day'];
    $month = $_POST['month'];
    $year = $_POST['year'];
      
    $str = $_POST['day'] . "." .  $_POST['month'] .  "." .   $_POST['year'];

    $age_in_years = (int)((date('Ymd') - date('Ymd', strtotime($str))) / 10000);
?>