Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  4a7cd83db589e7d51eefb2a26d938f983e7d6bae

Avoid section edit links when needed

Change-Id: I3199929071fb262bd5566e03fa8dd76cba5e7854