Purge a number of Mozilla-specific WebIDL

Did a bunch of grepping for `moz*` and searched for "moz" in rustdoc,
deleting anything that looked mozilla-specific. Now there's nothing left
with the "moz" prefix in rustdoc!
This commit is contained in:
Alex Crichton
2018-09-20 17:19:36 -07:00
parent a85e49a2b4
commit 8c720bee50
30 changed files with 4 additions and 330 deletions

View File

@ -67,7 +67,6 @@ dictionary NotificationOptions {
DOMString icon = "";
boolean requireInteraction = false;
any data = null;
NotificationBehavior mozbehavior = null;
};
dictionary GetNotificationOptions {