Cast Paginator::currentPage to an integer

Not a huge deal, but it ensures getCurrentPage() returns an int instead of a numeric string.
Merge branch '4.0'