spacing fix
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Tue, 24 Jan 2012 00:25:00 +0000 (00:25 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Tue, 24 Jan 2012 00:25:00 +0000 (00:25 +0000)
commit780b62663e3a00341e2582099ad5b363ad11ad05
tree1896c8a1603724dda4a470cedd87f286f5573604
parent3f32bbb5517fa2cc1c873640f6239d9c693b9b11
spacing fix
includes/Pager.php