fatti una funzione getMonthNumFromName():

function getMonthNumFromName($fStrName){

$arrMonth=array( 'Jen','Feb','Mar', ...... METTI TUTTI I MESI NEL FORMATO CHE HAI ....., 'Dec');

$blnStop=false;

for ($i=0;$i<count($arrMonth) $blnStop==false ;$i++){

if ( strcmp($arrMonth[$i],$fStrName)==0 ){

$blnStop=true;

}

}
// incrementi altrimenti gennaio ti viene come mese 0
$i++

return $i;
}


Ovviamente questa funzione ti restituisce il mese con una singola cifra: 1,2,3 e non 01, 02, 03. Se vuoi fare così basta che controlli la lunghezza della variabile $i (intesa come stringa) e ci aggiungi uno zero avanti prima di restituirla.