Generic paginator for PHP 5.4+