[php] Zmiana formatu czasu Opcje

[chyzio]

Tylko sie nie śmiejcie... Jak zamienić czas formatu 08:00:00 na 8:00:00?

[nospor]

[PHP] pobierz, plaintext 
<?php
$czas = '08:00:00';
echo date('G:i:s', strtotime($czas));
?>
[PHP] pobierz, plaintext 

ps: przenosze

[chyzio]

Wiem, że głupie i banalne pytanie ale o to chodziło (IMG:http://forum.php.pl/style_emoticons/default/smile.gif)