[w3c/push-api] PushSubscription IDL links broken (Issue #377)

In https://w3c.github.io/push-api/#pushsubscription-interface endpoint and expirationTime are not links. I think that's because of them having some definitions that are used by the toJSON method, but that should probably be separated.

E.g.,

> The endpoint getter steps are to return the result of getting the endpoint attribute.
>
> To get the endpoint attribute, ...

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/377
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/issues/377@github.com>