ElEditors, Interface administrators, Administrators
85,546
edits
MediaWiki:Gadgets-definition: Difference between revisions
m
no edit summary
mNo edit summary |
mNo edit summary |
||
| Line 9: | Line 9: | ||
==Edit== | ==Edit== | ||
* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js | * DotsSyntaxHighlighter[ResourceLoader|rights=edit]|DotsSyntaxHighlighter.js | ||
* CodePrettify[ResourceLoader|rights=edit]|CodePrettify.js|CodePrettify.css | * CodePrettify[ResourceLoader|rights=edit]|CodePrettify.js|CodePrettify.css | ||
* TimeBug[ResourceLoader|rights=edit]|TimeBug.js | * TimeBug[ResourceLoader|rights=edit]|TimeBug.js | ||