Edit tools

Your code works for me too.

I like to be able to choose a section by clicking the menu and typing a letter or two letters. Adding a prefix would make this harder (for instance, I couldn't type "i" to select an custom IPA menu). So I would prefer not having a prefix. Perhaps a suffix, if the menu has the same name.

I wonder if the Wiktionary version of the edit tools could be modified to be more like Wikipedia. Wikipedia uses and MediaWiki:Gadget-charinsert-core.js (or MediaWiki:Edittools for users without Javascript) and MediaWiki:Gadget-charinsert.js, which make the syntax for customization (added to common.js) much simpler. Customization can either add more characters to the end of the default menus, or create new menus.

However, I do like the fact that Wiktionary lets you insert lang= and class= to make the characters in the menu display better. Not sure if that functionality could be added to the Wikipedia code, and it's essential on Wiktionary.