Updated mediawiki/extensions
Project: mediawiki/extensions/ReaderFeedback  4d9b48110c3a88769cbfa17ef3879cda8f47efe2

Remove use of $wgProxyKey

Deprecated since 1.14, removed in 1.24 (5e48ad2e78ce)

Change-Id: I82af39c669b53f9b61c013da5c0576214dfecb82