Merge "Remove deprecated handling of array keys for $wgProxyList"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 24 Jul 2019 22:01:08 +0000 (22:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 24 Jul 2019 22:01:08 +0000 (22:01 +0000)
commitf48096d81b7ec89b718ede1d140811fb3df6e0cc
treefc4f235bd547f0c570fae35bc92056d1d5bd5b0c
parent3dfb1cb23624439be7000ab351197bdbacef3afb
parentf7cddcf7c178cb90e993fe3690f310ab06f6a846
Merge "Remove deprecated handling of array keys for $wgProxyList"