eliminare lo zero iniziale da un orario

[galamarco]

Ciao a tutti,
come posso eliminare lo zero iniziale da un'ora, dal conteggio di minuti o di secondi?

Vorrei trasformare (senza prevedere ogni singolo caso se possibile):
le ore "09" in "9", i tre minuti "03" in "3", i secondi "05" in "5".

Esiste qualche funzione che si può richiamare?

Grazie mille in anticipo!

Un saluto,
Marco

[akkressor]

converti le stringhe in numeri. la funzione è intval().

[RoTeam]

Oppure ancora prima con sprintf

function orario_senza_zeri($var){
    
    $a = explode(':',$var);
    
    return sprintf("%1$01d:%2$01d:%3$01d",$a[0],$a[1],$a[2]);
}

$lol = orario_senza_zeri(date('H:i:s'));
echo $lol; 

[galamarco]

Grazie mille, risolto con intval(), mi era più comodo perchè devo tener separate ore, minuti, secondi ed usarli separatamente.

<?
//mi arriva la variabile dei minuti in formato "03" e lo sistemo come segue

$minuti = intval("".$minuti);

echo "$minuti"; //stampa: 3
?>

Grazie mille!