157
edits
Difference between revisions of "MediaWiki:Gadgets-definition"
MediaWiki:Gadgets-definition (view source)
Revision as of 05:33, 10 March 2013
, 05:33, 10 March 2013no edit summary
| Line 12: | Line 12: | ||
* addsection-plus|addsection-plus.js | * addsection-plus|addsection-plus.js | ||
* Edittools[ResourceLoader|default]|Edittools.js | * Edittools[ResourceLoader|default]|Edittools.js | ||
* ExternalSearch|externalsearch.js | |||
* purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js | |||