Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaIncubator  7adfcc5364f574ea89c00bb0156c2d557149191a

Give grep a chance to find the usages

Change-Id: I6fd9c9a0bf5ffbe3882d18cb90a305ecda8b3896