Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  371efaf96a4d02ad59746c6d5fff831e92d51ddb

Adjust documentation example

Change-Id: I5cf5b93faa15bf14a2bac51631d1ca4d671b96c7