3,554
edits
Want an adless experience? Log in or Create an account.
MediaWiki:Gadgets-definition (view source)
Revision as of 08:30, October 24, 2011
, October 24, 2011no edit summary
mNo edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
== patrol-gadgets == | == patrol-gadgets == | ||
* AjaxPatrolLinks [rights=patrol] |AjaxPatrolLinks.js | * AjaxPatrolLinks [rights=patrol] |AjaxPatrolLinks.js | ||
* PatrolTab [rights=patrol] |PatrolTab.js | |||
== admin-gadgets == | == admin-gadgets == | ||
* EnhancedUndelete [ResourceLoader|rights=delete] |EnhancedUndelete.js | * EnhancedUndelete [ResourceLoader|rights=delete] |EnhancedUndelete.js | ||