code style tweaks
authorjeroendedauw <jeroendedauw@gmail.com>
Thu, 5 Apr 2012 16:45:14 +0000 (18:45 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Thu, 5 Apr 2012 18:29:30 +0000 (20:29 +0200)
commit190952379e179c29dbc0c899130a407d77bb4652
tree578eda878089c72325cb1f08d70ebf9a62e3bbf3
parent5fd570443661230f985ec1d38e1384a0febd4861
code style tweaks

Change-Id: I992459cd740678d0eb0b2dd70de6c092d7dba67e
includes/Pager.php