On Fri, Nov 15, 2019 at 4:16 PM Max Semenik maxsem.wiki@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]])