Ricavare timestamp da data alfanumerica

[Tom1884]

Ho una data siffatta: "27 novembre 2013". Come faccio a ricavarne un timestamp di quel giorno alle ore 00.00?

Cioè, sostanzialmente, credo che il nocciolo sia questo: c'è un modo rapido per convertire il nome del mese nel suo numero?

[Alhazred]

Non con funzioni native di PHP, specie se il nome del mese è in italiano.

Devi farti una funzione che lo faccia, basta un array associativo "nome_mese -> numero".
Dato il nome del mese, che è la chiave dell'array, tiri fuori il numero del mese.

[Tom1884]

basta un array associativo "nome_mese -> numero".

Ti ringrazio!
Però... ho visto che, partendo da un timestamp si può richiedere la data per esteso: in quel caso il nome del mese viene dato in italiano od in inglese?

Se fosse in italiano, non esiste proprio una funzione nativa "inversa" che, inserito il nome del mese (magari nella versione a 3 lettere), dia il numero? Sarebbe molto più rapido...

[Alhazred]

Hai trovato la funzione che da timestamp tira fuori il nome del mese? Hai letto la documentazione della funzione?

Se si tratta di date() ti anticipo che è solo in inglese.

[Santino83_02]

devi trasformare a manina "27 novembere 2013" in "2013-11-27" (o formati analoghi, ma andiamo sul sicuro) e da li fai uno strtotime... non è una cosa complicata da fare, basta un paio di replace per convertirwe il mese da nome a numero

[Tom1884]

Siccome in rete non si trova, posto qui nella speranza che possa essere trovato e risparmi un po' di tempo a chi in futuro...

$mese_alfabetico = "gennaio";
$mesi = array(    "gennaio" => 1,                     "febbraio" => 2,                     "marzo" => 3,                     "aprile" => 4,                     "maggio" => 5,                     "giugno" => 6,                     "luglio" => 7,                     "agosto" => 8,                     "settembre" => 9,                    "ottobre" => 10,                    "novembre" => 11,                     "dicembre" => 12);
$mese_numerico = $mesi[$mese_alfabetico]