ciao!
dato il numero $codice=1234

ho inserito questo in un array $array_codice = str_split($codice);

ne ho eliminato l'ultimo elemento array_pop($array_codice);

ma ora dovrei riconvertire $array_codice in $codice (privato quindi dell'ultima cifra)

Esiste una funzione che lo fa?