eliminare lo zero iniziale da un orario

[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;