Update Pagination.php

GNU style formatter