Merge "Remove unnecessary semi-colons"
authorFomafix <fomafix@googlemail.com>
Wed, 12 Jun 2019 18:05:55 +0000 (18:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 12 Jun 2019 18:05:55 +0000 (18:05 +0000)

Trivial merge