Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  8fe2f268d8532c44308ba594aacc526582e73587

Use mediaWiki.message( ... ).plain()

Bug: 42107
Change-Id: Ic17aa1ff18528cec402bef08cace6987529f2782