How to set date names?

[Anon]

Hey All;

I am using the following code to output the date on emails.

$date = date("F j, Y");
$mail_body .= "$date\n";

The result is "December 28, 2000".

How do I make this into "Dec 28, 2000" ?

Any thoughts?

Shawn

[Anon]

$date = date("M j, Y"); should do it.