Make the page visibility API pref-controlled.

This resolves #607.
This commit is contained in:
wolfbeast 2018-07-07 11:24:38 +02:00 committed by Roy Tam
commit 9949bc6c34
2 changed files with 6 additions and 0 deletions

View file

@ -277,8 +277,11 @@ partial interface Document {
// https://w3c.github.io/page-visibility/#extensions-to-the-document-interface
partial interface Document {
[Pref="dom.visibilityAPI.enabled"]
readonly attribute boolean hidden;
[Pref="dom.visibilityAPI.enabled"]
readonly attribute VisibilityState visibilityState;
[Pref="dom.visibilityAPI.enabled"]
attribute EventHandler onvisibilitychange;
};