Changes

MediaWiki:Gadgets-definition

49 bytes added, 10:00, 22 August 2014
== editing-gadgets ==
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js
* Edittools[ResourceLoader|default]|Edittools.js
* HotCat[ResourceLoader|default]|HotCat.js
Tiziano
Bureaucrat, administrator
425
edits