w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

chore: use new school WebIDL #231

Closed marcoscaceres closed 7 years ago

marcoscaceres commented 7 years ago

@beverloo, this is 95% done, but I might need you to do the last bits. In particular, you need to split dictionary and interfaces into their own sections (and then just follow what I did). The reason is that there are things that are defined in both interfaces and dictionaries (e.g., "applicationserverkey"). You can explicitly differentiate and reference between the two by either:

The <a>WhateverDictionary.applicationserverkey</a> does x. 

Or:

The <a data-lt="WhateverDictionary.applicationserverkey">applicationserverkey</a> does x. 

See also how I've added <section data-dfn-for="Thing"> and how <dfn>s are defined. It should be quite straight forward.