Differenze tra le versioni di "MediaWiki:Gadgets-definition"

Versione attuale delle 16:53, 23 lug 2020

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

Versione delle 01:34, 27 giu 2020 (Visualizza sorgente) Valerio Bozzolan (discussione \| contributi) (make Minipedia as default) ← Differenza precedente		Versione attuale delle 16:53, 23 lug 2020 (Visualizza sorgente) Valerio Bozzolan (discussione \| contributi) m (add mediawiki.Title in the dependencies)
(Una versione intermedia di uno stesso utente non è mostrata)
Riga 1:		Riga 1:
−	* minipedia[ResourceLoader\|default]\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader\|default\|dependencies=mediawiki.util,mediawiki.Title]\|minipedia.js\|minipedia.css