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

<!--*VeSuperTool[ResourceLoader|dependencies=mediawiki.util|rights=move]|VeSuperTool.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js-->

* BotTools[ResourceLoader|rights=move|dependencies=mediawiki.util]|BotTools.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