Merge "Default $wgCommentTableSchemaMigrationStage to MIGRATION_NEW"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Nov 2018 22:32:50 +0000 (22:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Nov 2018 22:32:50 +0000 (22:32 +0000)
commit19ed99208aa9a53bf60aa8578f8426b7f4c1c0a2
tree6cd6c9e51dd13470d21f70509db48d339eaccd01
parent771471db68b171e2f4a1565ce53945c1a1060e64
parentfd5a1842d2d63fd6c7dd07358757d31dba635b28
Merge "Default $wgCommentTableSchemaMigrationStage to MIGRATION_NEW"
includes/DefaultSettings.php