3,554
edits
Want an adless experience? Log in or Create an account.
MediaWiki:Gadgets-definition (view source)
Revision as of 15:53, October 25, 2011
, October 25, 2011no edit summary
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
* FastRevert|FastRevert.js | * FastRevert|FastRevert.js | ||
* DefaultSummaries|DefaultSummaries.js | * DefaultSummaries|DefaultSummaries.js | ||
* SectionInput|SectionInput.js | |||
== interface-gadgets == | == interface-gadgets == | ||
* Purge [ResourceLoader|default] |Purge.js | * Purge [ResourceLoader|default] |Purge.js | ||
| Line 17: | Line 18: | ||
* AjaxPatrolLinks [rights=patrol] |AjaxPatrolLinks.js | * AjaxPatrolLinks [rights=patrol] |AjaxPatrolLinks.js | ||
* PatrolTab [rights=patrol] |PatrolTab.js | * PatrolTab [rights=patrol] |PatrolTab.js | ||
* SmartRollback [rights=rollback] |SmartRollback.js | |||
== admin-gadgets == | == admin-gadgets == | ||
* EnhancedUndelete [ResourceLoader|rights=delete] |EnhancedUndelete.js | * EnhancedUndelete [ResourceLoader|rights=delete] |EnhancedUndelete.js | ||