831
edits
MediaWiki:Gadgets-definition: Difference between revisions
Jump to navigation
Jump to search
MediaWiki:Gadgets-definition (view source)
Revision as of 15:47, 31 August 2017
, 15:47, 31 August 2017no edit summary
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
* exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js | * exlinks[ResourceLoader|dependencies=mediawiki.util]|exlinks.js | ||
* purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js | * purgetab[ResourceLoader|dependencies=mediawiki.util]|purgetab.js | ||
* HighlightRedirects|HighlightRedirects.css | |||