bors-servo a74f38f843 Auto merge of #23551 - asajeffrey:script-navigatorid, r=jdm ... Added missing NavigatorId attributes <!-- Please describe your changes on the following line: --> Add the missing attributes from https://html.spec.whatwg.org/multipage/system-state.html#navigatorid --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [X] These changes do not require tests because there are already tests for Navigator <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23551) <!-- Reviewable:end -->		2019-06-12 16:59:31 -04:00
..
dromaeo
heartbeats
html	Add smoketest command.	2019-05-09 15:24:18 -04:00
jquery
power
unit	Profile: removed opts::get()	2019-06-05 22:28:38 -06:00
wpt	Auto merge of #23551 - asajeffrey:script-navigatorid, r=jdm	2019-06-12 16:59:31 -04:00