Updated mediawiki/extensions
Project: mediawiki/extensions/Disambiguator  85b7ad421824c0238227ed9f7db42a615959daa0

More concise i18n message

Change-Id: I1978e3eacc06f5622031e5ab4c1132a7e66b8372