De nada ;)
Te ha servido?
Ahora que me doy cuenta... cuidado con el
mktime() porque depende de la zona horaria en que esté configurado PHP (y en última instancia, el servidor). Si no quieres andarte con esos líos por cambios de servidor, puedes usar
gmmktime() [o ajustar la zona horaria antes, con
set_timezone() ]
Saludos