diff options
Diffstat (limited to 'chromium/third_party/WebKit/Source/modules/push_messaging/NavigatorPushManager.idl')
| -rw-r--r-- | chromium/third_party/WebKit/Source/modules/push_messaging/NavigatorPushManager.idl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/chromium/third_party/WebKit/Source/modules/push_messaging/NavigatorPushManager.idl b/chromium/third_party/WebKit/Source/modules/push_messaging/NavigatorPushManager.idl new file mode 100644 index 00000000000..26db0dddc17 --- /dev/null +++ b/chromium/third_party/WebKit/Source/modules/push_messaging/NavigatorPushManager.idl @@ -0,0 +1,9 @@ +// Copyright 2014 The Chromium Authors. All rights reserved. +// Use of this source code is governed by a BSD-style license that can be +// found in the LICENSE file. + +[ + RuntimeEnabled=PushMessaging, +] partial interface Navigator { + readonly attribute PushManager push; +}; |