Merge "Add code to write to change_tag_def table"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 7 Jun 2018 16:26:23 +0000 (16:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 7 Jun 2018 16:26:23 +0000 (16:26 +0000)
commita0a8f165506a55c4d70ef2bb3cec4d4309ed33d8
tree8fcfb343aff10a66242f81c1e0992a027aea62e0
parent46ea452bcdea5f65e1cad6fdfe03b6bb2d51c102
parent417d8036ae9ae8bbe9932644c7c81510a4e680fd
Merge "Add code to write to change_tag_def table"
includes/DefaultSettings.php
includes/changetags/ChangeTags.php