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

Versione delle 01:36, 27 giu 2020

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

Versione delle 01:34, 27 giu 2020 (Visualizza sorgente) Valerio Bozzolan (discussione \| contributi) (make Minipedia as default) ← Differenza precedente		Versione delle 01:36, 27 giu 2020 (Visualizza sorgente) Valerio Bozzolan (discussione \| contributi) m (add Minipedia dependency) Differenza successiva →
Riga 1:		Riga 1:
−	* minipedia[ResourceLoader\|default]\|minipedia.js\|minipedia.css	+	* minipedia[ResourceLoader\|default\|dependencies=mediawiki.util]\|minipedia.js\|minipedia.css