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 17:33, 26 June 2020 (view source) Valerio Bozzolan (talk \| contribs) m (missing star) ← Older edit		Latest revision as of 15:53, 23 July 2020 (view source) Valerio Bozzolan (talk \| contribs) m (add mediawiki.Title in the dependencies)
(2 intermediate revisions by the same user not shown)
Line 1:		Line 1:
−	* minipedia[ResourceLoader]\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader\|default\|dependencies=mediawiki.util,mediawiki.Title]\|minipedia.js\|minipedia.css