<?php $result['s'] = '1300.000'; echo gmdate("H:i:s", (int)$result['s']);
You have javascript disabled. You will not be able to edit any code.