inserire gli elementi di un array in una stringa di numeri

[ojalà]

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?

[clasku]

Perdonami, tutto questo codice per tagliare il numero 4? :master:
Ma non potevi usare la funzione substr?

<?php
$codice = 1234;
$codice = substr($codice, 0, -1);
echo $codice; //stampa 123
?>