ma certo.... 09 ottale e' un errore e quindi ti stampa sempre 0. Grande per un valore passato a mktime.

prova con '09' tra apici come appunto si presenterebbe una stringa per vedere se funziona il casting.

Codice PHP:
$num = '09';
echo $num; // stampa 09
echo (int) $num; // stampa 9 
ad ogni modo il mio era solo una annotazione sui numeri che iniziano con 0 e nulla piu'.