Merge "SpecialWatchlist: Remove random unnecessary `<hr>`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 4 Dec 2015 17:26:33 +0000 (17:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 4 Dec 2015 17:26:33 +0000 (17:26 +0000)
commitc25a2a63b409308ce5d04b1579f9516e8b35a061
tree0ca6691c19dda4c0721cc789e63cbda5d1d06c29
parent659c6af0d7f7c6a6fc564634df35befb7f742c0e
parent532829c7c620c9badce1585c2bbf9cc831d5cacd
Merge "SpecialWatchlist: Remove random unnecessary `<hr>`"
includes/specials/SpecialWatchlist.php