Bug 1588467 - Implement AverageTimeProfileCounter on top of AverageIntProfileCounter. r=gw
Bug 1588467 - Implement AverageTimeProfileCounter on top of AverageIntProfileCounter. r=gw

Differential Revision: https://phabricator.services.mozilla.com/D49128

[wrupdater] From https://hg.mozilla.org/mozilla-central/rev/5e2b1542310080d3ddd16a90a8a53170598ce553

servo/webrender,servo/webrender,servo/webrender,servo/webrender,servo/webrender,servo/webrender