Merge "Update documentation in DefaultSettings to reflect new Preprocessor default"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Jun 2019 22:39:16 +0000 (22:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Jun 2019 22:39:16 +0000 (22:39 +0000)
commit3e68722e29b240de3e33dc5000c232a07f8c1e21
tree0244fe4a8e913e5f3750c4f0057fab6b074a7645
parent67d483e74c27eac2e094fd169e3f1e0e820d664e
parentda0a0a85c3cdfce880b01b88779b0c11586ff71f
Merge "Update documentation in DefaultSettings to reflect new Preprocessor default"
includes/DefaultSettings.php