323 bytes added,
10:00, 22 August 2014
== Gadgets ==
The following gadgets were imported via [[Special:Import]] (destination namespace: MediaWiki) and then added to [[MediaWiki:Gadgets-definition]]
* from www.mediawiki.org (mediawikiwiki):
** [[MediaWiki:Gadget-DotsSyntaxHighlighter.js]]
** [[MediaWiki:Gadget-HotCat.js]]
** [[MediaWiki:Gadget-Edittools.js]]