Merge "VirtualRESTServiceClient management cleanups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 24 Aug 2016 03:30:55 +0000 (03:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 24 Aug 2016 03:30:55 +0000 (03:30 +0000)
commitfbce940836cf2a01d099c0fff0fc58fe6fe5fbfc
tree68aaee21b09d7511c6ee31c27b17027baa39081e
parent7966e1f6bd40e6e60fe1bc28abf2edb18245cdbe
parent64b8debbff4e48afb01c7ff2042770c41ee8e62b
Merge "VirtualRESTServiceClient management cleanups"
includes/DefaultSettings.php