Merge "Update documentation for $wgAutopromote"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 25 Jul 2019 16:45:52 +0000 (16:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 25 Jul 2019 16:45:52 +0000 (16:45 +0000)
commitda66e2d8f6d5cc853cacd6fb2dfad5c1b13ee6cf
tree24320481c30b69be08bd281b6cc3adb562f51cee
parent74068ce880e245f84844bd78d49214994202441a
parent52fe0f5ba3c4d0b82cbd0bfe9f802554a6ab0b09
Merge "Update documentation for $wgAutopromote"
includes/DefaultSettings.php