Difference between revisions of "MediaWiki:Gadgets-definition"

Latest revision as of 17:50, 5 October 2019

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

Revision as of 06:57, 5 October 2019 (view source) Nouvakis (talk \| contribs) ← Older edit		Latest revision as of 17:50, 5 October 2019 (view source) Nouvakis (talk \| contribs)
(2 intermediate revisions by the same user not shown)
Line 1:		Line 1:
−	* Navigation_popups[ResourceLoader\|type=general]\|popups.js\|navpop.css	+	* Navigation_popups[ResourceLoader\|dependencies=mediawiki.user,mediawiki.util,user.options\|type=general]\|popups.js\|navpop.css