Merge "Replace sorting classes with better naming convention"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Mar 2019 00:27:11 +0000 (00:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Mar 2019 00:27:11 +0000 (00:27 +0000)
commit06825cbeaeed8fdee45260bf268d2e4744fbb2e1
treefeefa03c3e2b365a2a80a400727927a18a96e173
parent5b6b4c280df91d38a3b95ad7a6fc7abefc4ba406
parent5c8ba9ebf4d9864a412ea5cea9a2105b0d126ef9
Merge "Replace sorting classes with better naming convention"
includes/pager/TablePager.php
resources/src/mediawiki.pager.tablePager/TablePager.less