[PHP] How to do a Date format conversion

[Don]

Hi,

I have a variable containing a date in the form of "12/03/01".  I wish to display it 
as:

December 03, 2001.

Is there a built in PHP method for doing this or am I on my own  and have to write by 
own functions (which I can do).

Thanks,
Don