From b5f13fa66c871faeba09806bd2b39f8c61a8cc9f Mon Sep 17 00:00:00 2001
From: Michael Kourlas <michael@kourlas.net>
Date: Sun, 26 Oct 2014 23:03:34 -0400
Subject: [PATCH] Change window.plugins type to interface

Change the type of window.plugins from an object literal specific to Push.d.ts to an interface called Plugins, which can be modified by other code.
---
 cordova/plugins/Push.d.ts | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/cordova/plugins/Push.d.ts b/cordova/plugins/Push.d.ts
index 9b66234867..2415aa419c 100644
--- a/cordova/plugins/Push.d.ts
+++ b/cordova/plugins/Push.d.ts
@@ -7,14 +7,16 @@
 // Licensed under the MIT license.
 
 interface Window {
-    plugins: {
-        /**
-         * This plugin allows to receive push notifications. The Android implementation uses
-         * Google's GCM (Google Cloud Messaging) service,
-         * whereas the iOS version is based on Apple APNS Notifications
-         */
-        pushNotification: PushNotification
-    }
+    plugins: Plugins
+}
+
+interface Plugins {
+    /**
+     * This plugin allows to receive push notifications. The Android implementation uses
+     * Google's GCM (Google Cloud Messaging) service,
+     * whereas the iOS version is based on Apple APNS Notifications
+     */
+    pushNotification: PushNotification
 }
 
 /**