مدیاویکی: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

*VeSuperTool[ResourceLoader|dependencies=mediawiki.util|rights=userrights]|VeSuperTool.js|Extra-Editbuttons-persiantools.js|Extra-Editbuttons-persianwikitools.js|Extra-Editbuttons-dictionary.js