[php] formato data particolare da convertire

[magicofred]

Ciao a tutti,
ho un problema nell'utilizzare una data in php.
Io ho una data in questo modo "15/05 15:00" , ovvero "gg/mm HH:ii" ..
mi servirebbe convertirlo nel formato mysql datetime o in timestamp (che poi convertirei con le classiche funzioni..

Ho provato a combinare le varie funzioni messe a disposizione per le date ma non ho trovato nulla al caso mio..

Grazi in anticipo a tutti.

[francy2]

secondo me potresti utilizzare la classe
DateTime

$string = "15/05 15:00";

$time = DateTime::createFromFormat('d/m H:i', $string);
//E poi per formattare
$time->format('Y-m-d H:i:s'); // non mi ricordo com'è il formato spero che sia giusto, ad ogni modo la formattazione è la stessa di date() 

spero che sia stato d'aiuto

[magicofred]

Ti ringrazio dell'aiuto ma non funziona... allora ho provato questo :

$date = "15/05 20:15";

$dateok = DateTime::createFromFormat('d/m H:i', $date);

$dateok->format('Y-m-d H:i:s');

quello che ottengo è :

PHP Fatal error: Call to a member function format() on a non-object

Sbaglio io oppure c'è qualche altro problema? ho letto la documentazione e la procedura pare corretta.. forse nn crea l'oggetto alla seconda linea di codice per via del formato ?

grazie ancora..

[k.b]

Serve PHP versione 5.3 o superiore.

[magicofred]

La mia configurazione è la seguente :

Apache Version :
2.2.11
PHP Version :
5.3.0