Как конвертировать время DOS в UNIX время в PHP?

Question

Недавно я искал функцию для преобразования времени DOS (дата и время, закодированные в 4-байтовое слово) в время UNIX. Единственная функция, которую я смог найти, была в Java, так что вот код, преобразованный в PHP. Если у кого-то есть лучшее решение, пожалуйста, опубликуйте его здесь.

function dosToUnixTime($dosTime) {
    $date = mktime(
        (($dosTime >> 11) & 0x1f), // hours
        (($dosTime >> 5) & 0x3f),  // minutes
        (($dosTime << 1) & 0x3e),  // seconds
        ((($dosTime >> 21) & 0x0f) - 1),   // month
        (($dosTime >> 16) & 0x1f),         // day
        ((($dosTime >> 25) & 0x7f) + 1980) // year
    );
    return $date;
}