مدیاویکی:Gadgets-definition: تفاوت میان نسخهها
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
| خط ۸: | خط ۸: | ||
* SettingsManager [ResourceLoader|dependencies=mediawiki.user,user.options,user.tokens,mediawiki.api,mediawiki.RegExp|hidden]|SettingsManager.js | * SettingsManager [ResourceLoader|dependencies=mediawiki.user,user.options,user.tokens,mediawiki.api,mediawiki.RegExp|hidden]|SettingsManager.js | ||
* Extra-Editbuttons[ResourceLoader|dependencies=mediawiki.util|default|rights=userrights]|Extra-Editbuttons.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js|Extra-Editbuttons-autoed.js|Extra-Editbuttons-botworks.js | * Extra-Editbuttons[ResourceLoader|dependencies=mediawiki.util|default|rights=userrights]|Extra-Editbuttons.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js|Extra-Editbuttons-autoed.js|Extra-Editbuttons-botworks.js | ||
* BotTools[ResourceLoader|rights=userrights|dependencies=mediawiki.util]|BotTools.js | <!--* BotTools[ResourceLoader|rights=userrights|dependencies=mediawiki.util]|BotTools.js--> | ||
*VeSuperTool[ResourceLoader|dependencies=mediawiki.util|rights=userrights]|VeSuperTool.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js | *VeSuperTool[ResourceLoader|dependencies=mediawiki.util|rights=userrights]|VeSuperTool.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js | ||
نسخهٔ ۱۶ سپتامبر ۲۰۱۹، ساعت ۱۵:۵۵
- purgetab[ResourceLoader|dependencies=mediawiki.util|rights=move]|purgetab.js
- showtologgedin[ResourceLoader|default|type=style]|showtologgedin.css
- ReferenceTooltips[ResourceLoader|default|type=general]|ReferenceTooltips.js|ReferenceTooltips.css
- HotCat[ResourceLoader|rights=move]|HotCat.js
- Cat-a-lot[ResourceLoader|type=general|dependencies=mediawiki.util|rights=patrol]|Cat-a-lot.css|Cat-a-lot.js
- sidebarToggle[ResourceLoader|default|type=general]|sidebarToggle.js
- SettingsUI [ResourceLoader|dependencies=jquery.ui.dialog,jquery.ui.slider,jquery.ui.button,mediawiki.user,ext.gadget.libJQuery|hidden]|SettingsUI.js
- SettingsManager [ResourceLoader|dependencies=mediawiki.user,user.options,user.tokens,mediawiki.api,mediawiki.RegExp|hidden]|SettingsManager.js
- Extra-Editbuttons[ResourceLoader|dependencies=mediawiki.util|default|rights=userrights]|Extra-Editbuttons.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js|Extra-Editbuttons-autoed.js|Extra-Editbuttons-botworks.js
- VeSuperTool[ResourceLoader|dependencies=mediawiki.util|rights=userrights]|VeSuperTool.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js