12:38 10/6/2003 til time() format

strtotime("12:38 10/6/2003") <-- har fundet den!

svar

Men pas lige på, for det giver resultatet d. 06-10-2003. Den bytter altså rundt på måneder og dage.

Du er nok nødt til at skille den ad. Fx:
---------
<?
$str = "12:38 10/6/2003";
$arr = explode(" ",$str);
$tid = explode(":", $arr[0]);
$dato = explode("/", $arr[1]);
$unix = mktime($tid[0], $tid[1], 0, $dato[1], $dato[0], $dato[2]);
echo date('d m Y H:i', $unix);
?>