MediaWiki:Gadgets-definition

Navigation_popups[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,user.options,mediawiki.RegExp|type=general]|popups.js|navpop.css