Follow-up r82391 per Nikerabbit's CR: Fix it in a better way
authorRaimond Spekking <raymond@users.mediawiki.org>
Fri, 18 Feb 2011 15:14:08 +0000 (15:14 +0000)
committerRaimond Spekking <raymond@users.mediawiki.org>
Fri, 18 Feb 2011 15:14:08 +0000 (15:14 +0000)
commit5e74a2007c8693cfd15dade3def4015824ebd3d0
tree1ef01fac7a03b5824ed0f493375a17986c67ee92
parent5504fabee6102223623d201935c21ff130c0d549
Follow-up r82391 per Nikerabbit's CR: Fix it in a better way
includes/Pager.php