Possible Duplicate:
PHP: Convert uncommon date format to timestamp in most efficient manner possible?
How to convert this string to datetime format? 06/Oct/2011:19:00:02
我对此进行了尝试,但却没有工作。
$s = 06/Oct/2011:19:00:02 ;
$date = strtotime($s);
echo date( d/M/Y:H:i:s , $date);