Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  b88fb0d96ef46439cbb814c94fb2f3057718cd55

Short-circuit user rights checking code.

Change-Id: I578e580d610dd080dfc72ab8ea332542d0ac1034