<?php
// Output is just "HH:MM:SS", 24hr style
print date("H:i:s");
?>