Remove use of $wgProxyKey

Deprecated since 1.14, removed in 1.24 (5e48ad2e78ce)

Change-Id: I82af39c669b53f9b61c013da5c0576214dfecb82
Merge "Remove use of $wgProxyKey"