Updated mediawiki/extensions
Project: mediawiki/extensions/FlaggedRevs  798c408f263ded3fcd3c218b824e7c2b8be1de04

Remove use of $wgProxyKey

Deprecated since 1.14, removed in 1.24 (5e48ad2e78ce)

Change-Id: I63eae651972062d812281c8a97977ad40883493c