php date(), cambiare lingua

[TeraBIT]

ho tentato il setlocale ma sfortunatamente non ha funzionato...

nello script la data è indicata come segue

$rss->date_format = 'd M Y, G:i A'; //date format of RSS item. See PHP date() function for possible input. 

l'ho impostata seguendo le istruzioni a questo link : http://www.php.net/date

se la "M" maiuscola richiama le tre iniziali del mese allora dovrei mettere l'array in questo modo :

<?php
$mesi = array(
"Gen",
"Feb",
"Mar",
"Apr",
"Mag",
"Giu",
"Lug",
"Ago",
"Set",
"Ott",
"Nov",
"Dic");

$meseInItaliano = $mesi[date("M", $timestamp)];

?>

giusto? provo a metterlo...