borisyankov/DefinitelyTyped — pull request #3039 by michaelkourlas (2014-10-27 03:06:02+00:00)
Title: 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.