There are some elements of WikiEditor that never really 'graduated' from the alpha/beta phase.
In my opinion, these unmainted and hopefully unused pieces of code should be removed.
https://gerrit.wikimedia.org/r/#/c/123645/ https://gerrit.wikimedia.org/r/#/c/123647/ https://gerrit.wikimedia.org/r/#/c/123648/ https://gerrit.wikimedia.org/r/#/c/123649/
DJ
Yay! I think this is long overdue and I'm glad I'm not the only one.
I'll merge these in a week or so unless somebody complains.
wikitech-l@lists.wikimedia.org