resources/src/jsdoc.types.js
/**
* 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.
*
* These methods exist for backwards compatibility and should not be considered
* [stable](https://www.mediawiki.org/wiki/Special:MyLanguage/Stable_interface_policy/Frontend).
*
* @namespace window
*/