PHP : Converting MySQL DateTime format to 'Monday, 4 feb 2002'

[SkiNLaB]

There's gotta be a function out there to convert the MySQL DateTime format to something like 'Monday, 4 feb 2002' for eg, or similar...

Thanx