On Fri, Nov 15, 2019 at 4:16 PM Max Semenik <maxsem.wiki(a)gmail.com> wrote:
Which raises the question: should this functionality
stay in MediaWiki at
all?
I've pushed
https://gerrit.wikimedia.org/r/551346 for review.
Best regards,
Max Semenik ([[User:MaxSem]])