Merge "Datatable: Unify `padding` with `.wikitable`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Jan 2019 04:28:02 +0000 (04:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Jan 2019 04:28:02 +0000 (04:28 +0000)
commit4e36fa5392980f3716afb9f1c7560633dc0f48ec
tree51214758dee76d822b7c3d6f6f2a398349a64be4
parent981eca4fb14543de57feb1ba59ecdc0f4297d190
parentb5c683071ffd6651b34d87453506caeec6b81d1a
Merge "Datatable: Unify `padding` with `.wikitable`"
resources/src/mediawiki.legacy/shared.css