Thread:User talk:CodeCat/Edit tools/reply (4)

Due to changes in the Wiktionary infrastructure, Conrad's old script has essentially gotten out of sync with the rest of the site. It turns out that Conrad's script wasn't adding the edittools- prefix, but instead was failing to remove it.

Try pointing to https://en.wiktionary.org/wiki/User:Eirikr/edittools.js instead -- I copied Conrad's code and tweaked the copy. It seems to be working for me.

Question: This currently just puts the user's custom sections at the top of the menu, but it doesn't change the names of these sections at all. This could be confusing, if a user section has the same title as an existing default MediaWiki edittools section. Should we add a prefix to the user sections?