PHP date formatting

Question

I want to transform a date from this format: 01/07/09 to this jan 07,09.

How can I do that in PHP?

Answer 1

I'm pretty sure this is what you need.