Files
servo/components/script/dom
bors-servo b07f06ce92 Auto merge of #17855 - asajeffrey:script-implement-more-stylepropertymaypreadonly, r=emilio
Implement getProperties for StylePropertyMapReadOnly

<!-- Please describe your changes on the following line: -->

Implement `getProperties` for `StylePropertyMapReadOnly`.

---
<!-- 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 fix #17579.
- [X] These changes do not require tests because the existing css-paint-api tests catch this (rather annoyingly, they all fail for different reasons, sigh)

<!-- 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/17855)
<!-- Reviewable:end -->
2017-08-07 12:29:55 -05:00
..
2016-10-11 19:44:32 +02:00
2017-06-18 13:21:49 +02:00
2017-06-14 16:00:59 +02:00
2017-08-02 21:51:17 +02:00
2017-07-24 11:39:12 +02:00
2017-03-07 17:37:44 +08:00
2017-06-18 13:21:49 +02:00
2017-06-14 16:00:59 +02:00
2017-06-14 16:00:59 +02:00
2017-06-18 13:21:49 +02:00
2017-03-07 17:37:44 +08:00
2017-05-02 19:24:28 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-04-12 15:43:14 +02:00
2017-06-18 13:21:49 +02:00
2017-06-18 13:21:49 +02:00
2017-06-18 13:21:49 +02:00
2017-06-18 13:21:49 +02:00
2017-07-06 19:37:55 +02:00
2017-06-18 13:21:49 +02:00
2017-07-05 22:38:29 +02:00
2017-07-11 17:28:56 -05:00
2017-05-02 19:24:28 +02:00
2017-07-05 22:38:29 +02:00
2016-12-14 18:04:37 -06:00
2017-06-18 13:21:49 +02:00
2017-03-07 17:37:44 +08:00
2017-05-17 09:01:05 -05:00
2017-06-18 13:21:49 +02:00
2017-06-18 13:21:49 +02:00
2017-06-18 13:21:49 +02:00
2017-05-17 09:01:05 -05:00
2017-06-18 13:21:49 +02:00
2017-03-13 21:57:50 +08:00
2017-05-02 19:24:28 +02:00
2017-07-05 22:38:29 +02:00
2017-07-05 22:38:29 +02:00
2017-06-18 13:21:49 +02:00
2017-06-18 13:21:49 +02:00