Remove use of $wgProxyKey

Deprecated since 1.14, removed in 1.24 (5e48ad2e78ce)

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