[RESOLVED] Converting Date Types

[Slyke]

Is there a function in PHP that will allow me to convert from one date/time format to another?

For example:

echo convdate("originalformat", "originaldatetime", "newformat"); 

I wish to convert dates and times from this:
16/10/2008 23:57:21

To something like this:
20081016235721

I've checked Google, but not much help from there.