Merge "Drop $wgChangeTagsSchemaMigrationStage"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Nov 2018 23:52:00 +0000 (23:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Nov 2018 23:52:00 +0000 (23:52 +0000)
commit32b573187dd9c70739b3c86f67bc11b92a183519
treed37d7d0727a3ac6c027435ec4b4b642974700e8b
parent19ed99208aa9a53bf60aa8578f8426b7f4c1c0a2
parent02a930d7fbea6fce8f9caa250023e113a9c9ce1c
Merge "Drop $wgChangeTagsSchemaMigrationStage"
includes/DefaultSettings.php