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
I tried this but it doesn't work.
$s = '06/Oct/2011:19:00:02';
$date = strtotime($s);
echo date('d/M/Y:H:i:s', $date);