- explode: documentation ( source)
<?php
// $selectedTime = "9:15:00";
// $datetime = DateTime::createFromFormat('g:i:s', $selectedTime);
// $datetime->modify('+15 minutes');
// echo $datetime->format('H:i:s');
$time='5'; //, 8.3, 2.2.
$x=explode('.',$time);
$min=60*($x[1]/10);
echo $x[0] .'hours and '.$min.'mins';