MediaWiki:Gadgets-definition: differenze tra le versioni

Versione attuale delle 08:54, 21 ott 2015

Versione delle 08:53, 21 ott 2015 (visualizza sorgente) L.carletti (Discussione \| contributi) ← Differenza precedente		Versione attuale delle 08:54, 21 ott 2015 (visualizza sorgente) L.carletti (Discussione \| contributi)
Riga 1:		Riga 1:
	*Imagemap-Highlight[ResourceLoader\|default]\|Imagemap-Highlight.js		*Imagemap-Highlight[ResourceLoader\|default]\|Imagemap-Highlight.js
−	*~~Gadget-~~edittop[ResourceLoader\|default]\|~~Gadget-~~edittop.js	+	*edittop[ResourceLoader\|default]\|edittop.js