Editing: pagination.php