author | Volker E <volker.e@wikimedia.org> | |
Fri, 18 Jan 2019 00:04:30 +0000 (16:04 -0800) | ||
committer | Volker E <volker.e@wikimedia.org> | |
Fri, 18 Jan 2019 00:56:21 +0000 (16:56 -0800) | ||
commit | 36263dd18cf0b980d5cbd3f9fee0766100f6b288 | |
tree | 248fda756c34b82eca340b6c86ff4aeae2607427 | tree | snapshot |
parent | 855457806657b8a8857c930a6494ac92852eaef6 | commit | diff |
includes/pager/TablePager.php | diff | blob | history | |
resources/src/mediawiki.pager.tablePager/TablePager.less | diff | blob | history |