ma è una stringa 'martedì 3 agosto 2010'?

in tal caso
Codice PHP:
<?php
$stringa 
'martedì 3 agosto 2010';

$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);

$parole explode(' 'trim($stringa));

$mese_numerico $mesi[$parole[2]];

echo 
$parole[1].'/'.$mese_numerico.'/'.$parole[3];
?>