diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-01-05 12:09:01 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-05 12:09:01 -0800 |
| commit | 42e28bf7e59e0c7fab7163326d7374d1c4e268d1 (patch) | |
| tree | cd703fcc70418f6bff961f25179c84969b9c554c /components/script/dom/htmlcollection.rs | |
| parent | 839b7fe8ef57501ec876d66728e8d6ea9c1757f6 (diff) | |
| parent | 6a22174eb7dd4077c20e380a8460ad08c17cb9b6 (diff) | |
| download | servo-42e28bf7e59e0c7fab7163326d7374d1c4e268d1.tar.gz servo-42e28bf7e59e0c7fab7163326d7374d1c4e268d1.zip | |
Auto merge of #14863 - charlesvdv:prefs, r=jdm
Allow cli prefs to have numerical value
I'm not sure as I'm new with servo but shouldn't the new function ```parse_opt_prefs``` be in ```prefs.rs``` instead of ```opts.rs``` ?
<!-- Please describe your changes on the following line: -->
---
<!-- 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 #14842
<!-- Either: -->
- [X] There are tests for these changes OR
<!-- 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/14863)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlcollection.rs')
0 files changed, 0 insertions, 0 deletions