Вот мое мнение:
function convert_date($date) {
$components = explode(" ",$date);
$time_component = array_pop($components);
$date_component = implode(array_slice($components, 0, 2));
return date("m d, Y, ", strtotime($date_component)) .
date("H, i", strtotime($time_component));
}
Вот несколько прогонов:
$t1 = "November 07, 2011, 12:00";
echo convert_date($t1) . "\n";
Выходы: 11 07, 2011, 12, 00
$t2 = "December 25, 2011, 5:31";
echo convert_date($t2);
Выходы: 12 25, 2011, 05, 31