Dividere data da time

[Notorious]

Originariamente inviato da xalfryx
Ho una variabile $data_tel che vale "Dec 31, 2006 10:35".

Io vorrei ottenere da questa variabile :

$data = la data in un formato che posso inserire tranquillam su Mysql

$time = orario (10:35) anche esso in un formato che posso inerire su Mysql

Grazie mille.

Se sei sicuro che la data sia sempre in quel formato, puoi usare explode:

$array = explode(",",$data_tel);

//array[0] contiene mese e giorno
array[0] = trim(array[0]); //per sicurezza
$array_sx = explode(" ",$array[0]);

//array[1] contiene anno e ora:
array[1] = trim(array[0]); //per sicurezza
$array_dx = explode(" ",$array[1]); //anno sta in 0
$time_of_day = explode(":",$array_dx[1]);

$monthName = $array_sx[0];
$day = $array_sx[1];
$year = $array_dx[0];
$hour = $time_of_day[0];
$minute = $time_of_day[1]; 

$monthName puoi tradurlo in month con un semplice switch

PS: in alternativa puoi usare la funzione str_to_date di mysql; puoi vederla in funzione su questo script che ho fatto tempo fa (cerca la variabile $sql; se ti danno fastidio le barre orizzontali, c'è la "versione per la stampa"...)