Merge "Add config to use change_tag_def table for Special:Tags"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Jul 2018 22:13:07 +0000 (22:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Jul 2018 22:13:07 +0000 (22:13 +0000)
commit1828e901ab987157d78acedf52f607ebe21ddc6e
tree24219e764c295f788fcb6b47069a11403782b949
parent56d45558b102349f3480a46819669407aa3be2d6
parent9fed3f0fd3aeb66f06097a40a7cad9a34fb5020a
Merge "Add config to use change_tag_def table for Special:Tags"