Konversi String Waktu ke Jam Desimal PHP

Konversi yang cukup bodoh dari atas kepala saya, menggunakan meledak dengan titik dua:

<?php 

$hms = "2:12:0";
$decimalHours = decimalHours($hms);

function decimalHours($time)
{
    $hms = explode(":", $time);
    return ($hms[0] + ($hms[1]/60) + ($hms[2]/3600));
}

echo $decimalHours;

?>