MediaWiki:Gadgets-definition

  • mobilemenu[ ResourceLoader | default | hidden | skins = minerva | dependencies = mediawiki.api, mediawiki.jqueryMsg, mediawiki.util ] | mobilemenu.js