support for times stored by "mod_salat_times"