Eine kleine Funktion welche eine Uhrzeit als Gleitkommazahl in eine Zeitangabe umformatiert.
Aus 6,25 wird 06:15:00 oder 19,12 wird 19:07:12
<?php # Waldelt eine Uhrzeit im Float-Format in eine Uhrzeit um # Format siehe https://www.php.net/manual/de/function.date.php function format_floadTime($dezTime, $format = " H:i:s") { $hour = floor($dezTime); $dezMinute = round(($dezTime - $hour) * 60, 2); $minute = floor($dezMinute); $seconds = round(($dezMinute - $minute) * 60, 0); return date($format, mktime($hour, $minute, $seconds)); } $x = '6.25'; echo format_floadTime($x) ; ?>