MediaWiki talk:Gadget-OldEdittools
 | This script, Edittools, is a JavaScript gadget which can be enabled or disabled in your Preferences. |
 |
i18n | Gadget translations:
no internationalisation required: |
| This gadget is enabled by default, and the gadget description refers to turning it off and reverting to the previous edit tool style. Note that the displayed tools are stored in MediaWiki:Edittools and discussed at MediaWiki talk:Edittools; MediaWiki:Edittools.js is the supporting script. |