Last modified: 2010-05-15 16:03:25 UTC
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.
Isn't this already possible by editing one's monobook.js?
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.
*** This bug has been marked as a duplicate of bug 9754 ***