Salve... ho un problema, ho provato di tutto e cercato ovunque, so che è una cosa semplice ma non ne vengo a capo...

Io leggo un valore da un file di test (txt) e lo memorizzo in una variabile, il valore è così formattato: 21:09:34 (quindi di tipo TIME).
Ora... a me serve solo l'ora, quindi con un substr() ottengo le prime due cifre...

Tutto va bene tranne per le ore con lo 0 davanti, quindi 01, 02...09.
Infatti se faccio un substr di 09 ottengo 0 invece di 09...

Ora, ho provato a convertirlo in intero con tutti i modo possibile ma non funziona in nessun caso.

Ammettiamo quindi di avere una situazione così:

$a = 0800;
$b = substr($a,0,2);

Come posso estrarre 08 da $a?

Grazie infinite...