16,926
edits
MediaWiki:Gadgets-definition: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 11: | Line 11: | ||
== tools == | == tools == | ||
* PatrolEntirePage[ResourceLoader|dependencies=mediawiki.user|targets=desktop,mobile|rights=patrol]|PatrolEntirePage.js | |||
* SyntaxHighlighter[ResourceLoader|targets=desktop,mobile|actions=edit]|SyntaxHighlighter.js|SyntaxHighlighter.css | * SyntaxHighlighter[ResourceLoader|targets=desktop,mobile|actions=edit]|SyntaxHighlighter.js|SyntaxHighlighter.css | ||
* TabOverride[ResourceLoader|targets=desktop,mobile|actions=edit]|TabOverride.js | * TabOverride[ResourceLoader|targets=desktop,mobile|actions=edit]|TabOverride.js | ||