Summary says it all. Users should be able to use customized edittools. Sometimes a user would like to change his edittools. He should be able to do so without having to ask a sysop to change global edittools affecting the whole wiki. I am not sure if devs have enough time/man power to implement a feature request like this but I think it would be helpful. Thanks.
Version: 1.13.x
Severity: enhancement
No. JavaScript based solutions modify the editing tools after they are loaded. This means, for example, if a wiki is using a huge set of editing tools, the user has to wait for all of them (many kilobytes) to be downloaded, before the JavaScript solution modifies/hides them.
Duping this to bug 9754.
See also some notes on bug 11130 about ajax-ifying the default edittools so they're loaded in a different way that may be nicer for the described cases.