Thread:Sannse/@comment-34939548-20171201163559/@comment-8-20171201175901

That's not likely to happen I'm afraid. That would be a core MediaWiki change, and not one that would be a priority at all. Sorry!