Salve ragazzi,

ho una domanda.

Io ho questo codice:

Codice PHP:
$data=gmstrftime("%d %b %H:%M", time());
echo $data; 
Questo mi restituisce: 08 Jun 18:14

Ora, ho due domande a rigaurdo.

La prima è: Come faccio a fargli prendere l'abbreviazione italiana del mese (cioé qui per esempio Giu)? C'è qualche funzione già pronta per questo oppure devo fare che ne so, con un str_replace? Ma si può fare con un array? (sono 12 mesi) Oppure con uno switch? ma come?

Passiamo alla seconda domanda: lo 0 iniziale ai giorni, si può togliere in qualche modo cambiando magari il tipo di formattazione in gmstrftime()? O in qualsiasi altro modo?


Molto gentili come sempre, Grazie