۵٬۱۲۵
ویرایش
مدیاویکی:Gadgets-definition: تفاوت میان نسخهها
بدون خلاصۀ ویرایش
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
| خط ۷: | خط ۷: | ||
* SettingsUI [ResourceLoader|dependencies=jquery.ui.dialog,jquery.ui.slider,jquery.ui.button,mediawiki.user,ext.gadget.libJQuery|hidden]|SettingsUI.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 | * SettingsManager [ResourceLoader|dependencies=mediawiki.user,user.options,user.tokens,mediawiki.api,mediawiki.RegExp|hidden]|SettingsManager.js | ||
==Tools== | |||
* Extra-Editbuttons[ResourceLoader|dependencies=mediawiki.util|default|rights=minoredit]|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=move|dependencies=mediawiki.util]|BotTools.js | |||
*VeSuperTool[ResourceLoader|dependencies=mediawiki.util]|VeSuperTool.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js | |||