tree 1b5f2c6cef6ea2d4bd7eaa213039d0e264e49030
parent 64d76427f05cc64a9304b4a42e18b7c1d1ef79f9
author Paul Meyer <paulmeyer@chromium.org> 1529370707 +0000
committer Commit Bot <commit-bot@chromium.org> 1529370707 +0000

Implement ReportingObserverOptions and the |buffered| option.

As per this spec:
https://wicg.github.io/reporting/#dictdef-reportingobserveroptions

Bug: 731810
Change-Id: I50840a97c2858fd04f397fd9799156d8e1e873c5
Reviewed-on: https://chromium-review.googlesource.com/1101312
Commit-Queue: Paul Meyer <paulmeyer@chromium.org>
Reviewed-by: Nate Chapin <japhet@chromium.org>
Cr-Commit-Position: refs/heads/master@{#568274}