Codice PHP:
//data di pubblicazione (200/11/28)
    $datapub = @explode("/",$inserimento);
    $pubanno = $datapub[0];
    $pubmese = $datapub[1];
    $pubgiorno =  $datapub[2];

     switch($pubmese) {
                           case "1": $month = "Jan"; break;
                           case "2": $month = "Feb"; break;
                           case "3": $month = "Mar"; break;
                           case "4": $month = "Apr"; break;
                           case "5": $month = "May"; break;
                           case "6": $month = "Jun"; break;
                           case "7": $month = "Jul"; break;
                           case "8": $month = "Aug"; break;
                           case "9": $month = "Sep"; break;
                           case "10": $month = "Oct"; break;
                           case "11": $month = "Nov"; break;
                           case "12": $month = "Dec"; break;               
    }             


    $pub = $pubgiorno . " " . $month . " " . $pubanno;

  
//inserisco nel nuova formato
$pubdate = date("D, $pub, H:i:s T"); 
mi stampa questo:
Mon, 20 +01002008-10-27T14:21:45+01:0031 2008, 14:21:45 CET

mentre mi , dovrebbe stampare
Mon, 20 Oct 2008, 14:21:45 CET

come mai la variabile $month nn viene interpretata nella maniera corretta?