mediawiki: fixup for proxy changes

Change-Id: I1179c9d7b28a83fe0f71f8000040cd7d34c8f7e0
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>