Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  0be24eb7b638dcab82be5a4e5df05d2260c6ed4d

Don't filter external change entries

Don't filter external changes if the user decides to hide
reviewed changes as FlaggedRevisions doesn't apply to those
(eg. on watchlists).

Change-Id: Ib7aef42403926cf51e8a690a44bb80d290c8b76d