Make proxy behaviour of detectServer() configurable
authorGilles Dubuc <gdubuc@wikimedia.org>
Mon, 22 Jun 2015 18:59:05 +0000 (20:59 +0200)
committerGilles Dubuc <gdubuc@wikimedia.org>
Mon, 22 Jun 2015 19:19:22 +0000 (21:19 +0200)
commitb276829806704300f4270d64137287379418beb6
treed3f0b753d73a0e3f30036173e1ee5d8de3732ad6
parent584a23931854e256eb219483cf5cba8ecc411ee8
Make proxy behaviour of detectServer() configurable

Bug: T75510
Change-Id: Ia6540962f8d913d925547189e101124f76d969c7
includes/DefaultSettings.php
includes/WebRequest.php