> How it would be difficult to make a workaround you are refering to? Not difficult. I wrote a patch. We’ll see how the reviewers feel about it. https://gerrit.wikimedia.org/r/#/c/189647/
Your patch looks very neat indeed! I shall try it out as soon as I can get to my test bed machine.
You were right about an upgrade of Mediawiki engine, I hope we'll manage to negotiate it anyway, but it will take some time...