Difference between revisions of "MediaWiki:Gadgets-definition"

Revision as of 17:33, 26 June 2020

Revision as of 17:31, 26 June 2020 (view source) Valerio Bozzolan (talk \| contribs) m (add resource loader) ← Older edit		Revision as of 17:33, 26 June 2020 (view source) Valerio Bozzolan (talk \| contribs) m (missing star) Newer edit →
Line 1:		Line 1:
−	minipedia[ResourceLoader]\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader]\|minipedia.js\|minipedia.css