Merge "Remove PreferencesFormLegacy.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 14 Apr 2019 02:22:08 +0000 (02:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 14 Apr 2019 02:22:08 +0000 (02:22 +0000)
commite002cd881d8106e7469277daef663f549470c64c
tree0313699726e93cd0cb090ba3fa14991a04bf55d3
parentde0875402c06532d91d60945e6630196b953f2fe
parentd8f480bad341c445e7fa1b05f2e78deadd24a45f
Merge "Remove PreferencesFormLegacy.php"