مدیاویکی:Gadgets-definition: تفاوت میان نسخه‌ها

مدیاویکی:Gadgets-definition (نمایش مبدأ)

۲۵ بایت اضافه‌شده ، ‏۲۴ اوت ۲۰۱۹

بدون خلاصۀ ویرایش

۵٬۱۲۵

ویرایش

@@ خط ۷: / خط ۷: @@
 * 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=minoredit]|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=move|dependencies=mediawiki.util]|BotTools.js
+* BotTools[ResourceLoader|rights=userrights|dependencies=mediawiki.util]|BotTools.js
-*VeSuperTool[ResourceLoader|dependencies=mediawiki.util]|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