Форум PHP

Всем доброго времени суток, подскажите как сконвертировать дату: May 06, 2011 в 2011-05-06 не делая массива с месяцами и разбивая всё на куски, может как-то можно одной функцией?

<? print date('Y-m-d', strtotime('May 06, 2011'));

Спасибо огромное