author | Ed Sanders <esanders@wikimedia.org> | |
Mon, 24 Apr 2017 18:01:30 +0000 (19:01 +0100) | ||
committer | Ed Sanders <esanders@wikimedia.org> | |
Wed, 3 May 2017 13:34:20 +0000 (14:34 +0100) | ||
commit | 91e49be2a789f0813e0af01a98d2ede657d3369c | |
tree | e9edfc7e4f4d8ad1be9e730b6f8b0347788e24a3 | tree | snapshot |
parent | 84138385d5047629815627b7a619e076a3f37e4a | commit | diff |
includes/pager/TablePager.php | diff | blob | history | |
resources/src/mediawiki/mediawiki.pager.tablePager.less | diff | blob | history |