Merge "Changing the default for $wgPageCreationLog to true"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Jul 2018 19:11:12 +0000 (19:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Jul 2018 19:11:12 +0000 (19:11 +0000)
commitc3cb2177a29018abb383d79a15b255c0c4c6c991
tree7abd90e85b0f31fb8716662b22cfe0eff185a6be
parent9dfc167ddd286e44e0485f7717ece9e8468e2a6a
parentd3e00e04d5abfde218baf88778111038c0f07bdb
Merge "Changing the default for $wgPageCreationLog to true"
includes/DefaultSettings.php