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

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

۷ بایت اضافه‌شده ، ‏۱۶ سپتامبر ۲۰۱۹

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

۵٬۱۲۵

ویرایش

@@ خط ۸: / خط ۸: @@
 * 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
-* 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