note 69687 added to function.strtotime

I needed to convert decimal time into hh:mm:ss, but I couldn't find an off the shelf function. So here's one I prepared earlier: <?php // formats decimal time (1.25 hours) into hh:mm:ss (1:15:00) function fromDecimalTime($dec) { $h = (int)$dec; $s = 3600 * ($dec - $h); $m = $s/60; $s = 60 * ($m - (int)$m); $m = (int)$m; return sprintf("%d:%02d:%02d", $h, $m, $s); } ?> ---- Server IP: 85.116.0.130 Probable Submitter: 82.110.10.103 ---- Manual Page -- http://www.php.net/manual/en/function.strtotime.php Edit -- https://master.php.net/note/edit/69687 Del: integrated -- https://master.php.net/note/delete/69687/integrated Del: useless -- https://master.php.net/note/delete/69687/useless Del: bad code -- https://master.php.net/note/delete/69687/bad+code Del: spam -- https://master.php.net/note/delete/69687/spam Del: non-english -- https://master.php.net/note/delete/69687/non-english Del: in docs -- https://master.php.net/note/delete/69687/in+docs Del: other reasons-- https://master.php.net/note/delete/69687 Reject -- https://master.php.net/note/reject/69687 Search -- https://master.php.net/manage/user-notes.php