Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  6e4f9b1772ea5a6cae9f8acee2e2856c36a8e5e1

Give grep a chance to find the usages

Change-Id: I244e1b491a43571699afbac28097b71da0ea08a3