Merge "DatabaseUpdater: Add modifyExtensionTable()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 14 Nov 2017 22:35:41 +0000 (22:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 14 Nov 2017 22:35:41 +0000 (22:35 +0000)
commit9ec3af51bb040a5051b149fd0aadbe8c3732db9a
treef350caccd53c2bec274f20edb08a575983c37863
parentb43ca14eaf7a2b96b0b12393699550996a1091d6
parent99f1d55818c1cd2ea05b659e327463f31a23e7a8
Merge "DatabaseUpdater: Add modifyExtensionTable()"