Update git submodules
[mediawiki.git] / includes / pager / 
tree5ac53133bea5aeb1e0d866825ac8e950caf3702d
drwxr-xr-x   ..
-rw-r--r-- 1626 AlphabeticPager.php
-rw-r--r-- 29691 IndexPager.php
-rw-r--r-- 1287 Pager.php
-rw-r--r-- 4235 RangeChronologicalPager.php
-rw-r--r-- 9665 ReverseChronologicalPager.php
-rw-r--r-- 13736 TablePager.php