Difference between revisions of "MediaWiki:Gadgets-definition"

Revision as of 00:36, 27 June 2020

minipedia[ResourceLoader|default|dependencies=mediawiki.util]|minipedia.js|minipedia.css

Revision as of 00:34, 27 June 2020 (view source) Valerio Bozzolan (talk \| contribs) (make Minipedia as default) ← Older edit		Revision as of 00:36, 27 June 2020 (view source) Valerio Bozzolan (talk \| contribs) m (add Minipedia dependency) Newer edit →
Line 1:		Line 1:
−	* minipedia[ResourceLoader\|default]\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader\|default\|dependencies=mediawiki.util]\|minipedia.js\|minipedia.css