MediaWiki talk:Gadget-OldEdittools.js
 | This script, OldEdittools, is a JavaScript gadget which can be enabled or disabled in your Preferences. |
 |
i18n | Gadget translations:
no internationalisation required: |
Does not work with old editor
Just making a note here that this gadget appears to have no effect when used with the old editor (i.e., "Show edit toolbar" and "Enable enhanced editing toolbar" unchecked). OTOH, it doesn't seem to cause any problems, either. - dcljr (talk) 00:07, 9 July 2014 (UTC)