Updated mediawiki/extensions
Project: mediawiki/extensions/Disambiguator  712774ed0cf13e71c79f61a74dde0ed9e77bc3a2

Fix documentation

Change-Id: I22fafa7cbd4cc7e260b02a2a31ca5a84c1222251