Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  c013c87ef1e016901c7bc21957743aff765f6447

Warn if you try to link to a disambiguation page

As marked by the Disambiguator extension.

Bug: 50160
Change-Id: I8c5a52c74fa1bc83c662d748731f96bcd91374d0