A PHP simple paginator