From c98193a799067896e61b0df615fe49bc48814048 Mon Sep 17 00:00:00 2001
From: rxu <rxu@mail.ru>
Date: Sun, 8 Jan 2017 22:16:40 +0700
Subject: [PATCH] [ticket/14971] Fix pagination PHP warning on PHP 7.1

PHPBB3-14971
---
 phpBB/phpbb/pagination.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpBB/phpbb/pagination.php b/phpBB/phpbb/pagination.php
index 7a81c25ad2..a5a95b096d 100644
--- a/phpBB/phpbb/pagination.php
+++ b/phpBB/phpbb/pagination.php
@@ -284,7 +284,7 @@ class pagination
 	*/
 	public function get_on_page($per_page, $start)
 	{
-		return floor($start / $per_page) + 1;
+		return floor((int) $start / (int) $per_page) + 1;
 	}
 
 	/**