Updated mediawiki/extensions
Project: mediawiki/extensions/TorBlock  edbcfc907b571f5e0aa05af09f9d9345f2cfcec7

Add $wgTorBlockProxy. Used for loading Tor exit node list

Needed for WMF migration from hume to terbium

Change-Id: I0ca6f67bf827550209c6089126031fabae94fd55