Difference between revisions of "MediaWiki:Gadgets-definition"

Latest revision as of 15:53, 23 July 2020

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

Revision as of 00:34, 27 June 2020 (view source) Valerio Bozzolan (talk \| contribs) (make Minipedia as default) ← Older edit		Latest revision as of 15:53, 23 July 2020 (view source) Valerio Bozzolan (talk \| contribs) m (add mediawiki.Title in the dependencies)
(One intermediate revision by the same user not shown)
Line 1:		Line 1:
−	* minipedia[ResourceLoader\|default]\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader\|default\|dependencies=mediawiki.util,mediawiki.Title]\|minipedia.js\|minipedia.css