On Fri, Feb 13, 2015 at 2:23 PM, Legoktm legoktm.wikipedia@gmail.com wrote:
Note that my proposal is explicitly different from Jon's plans about that bug: he wants to continue overriding special pages, etc. while I want to leave everything like this outside of the skin, including its custom JS-based wikitext editor.