MediaWiki:Gadgets-definition: различия между версиями
Перейти к навигации
Перейти к поиску
Шаблонист (обсуждение | вклад) Нет описания правки |
Шаблонист (обсуждение | вклад) Нет описания правки |
||
| Строка 7: | Строка 7: | ||
* wikilinker[ResourceLoader|dependencies=ext.gadget.registerTool]|wikilinker.js | * wikilinker[ResourceLoader|dependencies=ext.gadget.registerTool]|wikilinker.js | ||
== | == interface == | ||
* | * search-extraTooltips[ResourceLoader|dependencies=mediawiki.searchSuggest,mediawiki.util]|search-extraTooltips.js | ||
Версия от 18:34, 15 октября 2020
users
- markadmins[ResourceLoader|dependencies=mediawiki.util]|markadmins.js
editing 1
- HotCat[ResourceLoader]|HotCat.js
- summaryButtons[ResourceLoader|hidden|type=general|dependencies=mediawiki.ui.button,mediawiki.util]|summaryButtons.js|summaryButtons.css
- wikilinker[ResourceLoader|dependencies=ext.gadget.registerTool]|wikilinker.js
interface
- search-extraTooltips[ResourceLoader|dependencies=mediawiki.searchSuggest,mediawiki.util]|search-extraTooltips.js