https://bugzilla.wikimedia.org/show_bug.cgi?id=45684

--- Comment #6 from Tim Starling <[email protected]> ---
Created attachment 11886
  --> https://bugzilla.wikimedia.org/attachment.cgi?id=11886&action=edit
Pause timing diagram

Apologies for the bad drawing. The two intervals labelled "discount" are meant
to be the same length. I said above that the timer can be restarted in the
hook, but actually, I guess it can be more easily restarted on unpause. The
pause counter needs to be reset when the timer is restarted, whether it is
restarted from the hook or the unpause function.

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to