mozilla/widget/timer
