Very easy time manipulation ?

[Anon]

I have a time stamp from a database in the format:

hh:mm:ss
(eg 09:30:00)

& I want to output it in the format:

hhmm

(eg 0930)

I know this looks pretty easy, but I've had a hard day and...

Many thanx,

Paul

[Anon]

• split the time string
• make a timestamp and convert it to date

<?

$mytime=explode(":","9:30:00");

echo date("Hi",mktime($mytime[0],$mytime[1],$mytime[2],0,0,0));

?>

Hth

JBL