Simple generic PHP paginator