MediaWiki:Gadgets-definition: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 62:
* DPfont[ResourceLoader|dependencies=ext.wikiEditor]|DPfont.js
* WhatLeavesHere[ResourceLoader]|WhatLeavesHere.js
* ErroriLint[ResourceLoader]|ErroriLint.js
== editing-tools-for-Page-namespace ==
| |||