Merge "TablePager: Unify `padding` with `.wikitable`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 Jan 2019 01:40:29 +0000 (01:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 Jan 2019 01:40:29 +0000 (01:40 +0000)
commitcf7881151e8d8ba25f81571a3ea06d95baa71807
tree3fda1e50b5638e3d0a2b532851b2b3512382ce6e
parent8dba76e41940e534b37c1e95df3619dd32bce105
parent887ca52cb256c5e213a040e9ab965172af7f2c29
Merge "TablePager: Unify `padding` with `.wikitable`"