Files
servo/components/script/dom
bors-servo 8f278109ce Auto merge of #8603 - benschulz:timers-clean-up, r=jdm
Timers clean up

This PR splits the `ActiveTimers` abstraction into

 - `OneshotTimers` for scheduling "arbitrary" oneshot timers, such as XHR timeouts, and
 - `JsTimers`, based on `OneshotTimers`, for scheduling JS timers (`setTimeout`/`setInterval`).

The result is mich cleaner and the timer initialization steps now closely resemble the specification.

**Notes**
 - The second and third commit are strictly renames and code rearrangements.
 - I'm not particularily happy with the `OneshotTimerCallback` enum and its circular dependency with `XHRTimeoutCallback`, but I couldn't come up with anything better.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8603)
<!-- Reviewable:end -->
2016-02-21 21:43:28 +05:30
..
2016-02-20 22:43:16 +01:00
2015-11-18 11:14:05 +01:00
2016-01-10 17:58:13 +09:00
2015-11-18 11:14:05 +01:00
2016-02-04 22:03:32 +01:00
2016-02-03 02:11:31 +01:00
2016-01-10 17:58:13 +09:00
2015-11-18 11:14:05 +01:00
2015-11-18 11:14:05 +01:00
2015-12-18 17:37:10 +01:00
2015-11-18 11:14:05 +01:00
2015-11-18 11:14:05 +01:00
2015-11-18 11:14:05 +01:00
2015-11-18 11:14:05 +01:00
2016-01-02 23:27:15 +01:00
2016-02-04 22:03:32 +01:00
2016-01-10 21:20:31 -05:00
2015-11-03 19:01:23 +09:00
2016-02-18 03:49:31 +01:00
2016-02-03 02:11:31 +01:00
2016-02-03 02:11:31 +01:00
2016-02-03 02:11:31 +01:00
2016-02-03 02:11:31 +01:00
2016-02-03 02:11:31 +01:00
2016-02-03 02:11:31 +01:00
2016-01-21 11:06:41 -08:00
2016-02-18 03:49:31 +01:00
2015-10-30 20:26:29 +09:00
2015-11-03 19:01:23 +09:00
2016-02-04 22:03:32 +01:00
2015-10-30 20:26:29 +09:00
2016-02-08 16:58:18 -05:00
2016-01-10 17:58:13 +09:00
2015-10-30 20:26:29 +09:00
2015-11-03 19:01:23 +09:00
2016-01-21 11:06:41 -08:00
2016-01-02 23:27:15 +01:00
2015-10-30 20:26:29 +09:00
2015-11-03 19:01:23 +09:00
2015-10-30 20:26:29 +09:00
2015-11-03 19:01:23 +09:00
2015-10-30 20:26:29 +09:00
2015-12-03 02:53:37 +01:00
2016-02-20 22:43:16 +01:00
2015-10-30 20:26:29 +09:00
2015-10-30 20:26:29 +09:00