Merge "Set migration stage for change tag to read new"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Nov 2018 16:28:34 +0000 (16:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Nov 2018 16:28:34 +0000 (16:28 +0000)
commit65f12f7190442dcea96eb8d642ebbf8c39df1427
tree3b4b9f88ce182e94a80d1b9f503617a5fa0a77c1
parent0cba0ba56bf0643dfa27cbfa68b59547cc70e2d0
parentbb07b4a368f59fabfdcd7d08610c9f1cb6c00ba7
Merge "Set migration stage for change tag to read new"
includes/DefaultSettings.php
includes/changetags/ChangeTags.php