Сортировка по текстовой дате в php?
>> Может есть простой способ перегнать эту текстовую строку с датой в что-то другое — более удобоваримое для сортировки
$timestamp = strtotime("Sun May 01 00:00:00 +0000 2011"); // $timestamp  == 1304208000

Если формат строки всегда постоянный, преобразовывать строки в числа приходится очень часто, а время выполнения критично, то я бы советовал написать свою функцию, «заточенную» под данный формат, а не использовать универсальную strtotime (после написания функции само собой следует сравнить ее быстродействие со strtotime).