mozilla/widget/timer/public
