Alex Crichton 8c720bee50 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!

2018-09-20 17:19:36 -07:00

..

enabled

Purge a number of Mozilla-specific WebIDL

2018-09-20 17:19:36 -07:00

unavailable_option_primitive

Revert WebIDLs with optional enum types, they are still not implemented

2018-08-03 15:59:27 -05:00