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 16:42, 26 June 2020 (view source) Valerio Bozzolan (talk \| contribs) (Creata pagina con "minipedia\|minipedia.js\|minipedia.css")		Latest revision as of 15:53, 23 July 2020 (view source) Valerio Bozzolan (talk \| contribs) m (add mediawiki.Title in the dependencies)
(4 intermediate revisions by the same user not shown)
Line 1:		Line 1:
−	minipedia\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader\|default\|dependencies=mediawiki.util,mediawiki.Title]\|minipedia.js\|minipedia.css