/**
 * The purpose of this file is to aid the generation of our jsdoc documentation.
 * It documents global JSDoc types. It is never shipped in production.
 * @ignore
 */

/**
 * MediaWiki includes the jQuery library. This is extended by a series of plugins.
 *
 * This page documents the list of jQuery plugins that can be used on a jQuery object. When using them
 * please pay attention to their installation instructions.
 *
 * @namespace jQueryPlugins
 */

/**
 * The global window object.
 *
 * @namespace window
 */