mirror of
https://github.com/servo/servo.git
synced 2025-10-01 00:59:15 +01:00
Auto merge of #10081 - jdm:interfacepref, r=nox
Support controlling interface and member visibility via preferences This was easier to throw together than per-attribute/method support, and it gets rid of some nonstandard properties from our globals. Fixes #7626. r? @Ms2ger <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/10081) <!-- Reviewable:end -->
This commit is contained in:
commit
8255e74a61
28 changed files with 352 additions and 53 deletions
|
@ -6424,6 +6424,12 @@
|
|||
"url": "/_mozilla/mozilla/innerHTML.html"
|
||||
}
|
||||
],
|
||||
"mozilla/interface_member_exposed.html": [
|
||||
{
|
||||
"path": "mozilla/interface_member_exposed.html",
|
||||
"url": "/_mozilla/mozilla/interface_member_exposed.html"
|
||||
}
|
||||
],
|
||||
"mozilla/interfaces.html": [
|
||||
{
|
||||
"path": "mozilla/interfaces.html",
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue