From 7b489638d77edeec58a1e055ad329e517c1bf6e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rub=C3=A9n=20Calvo?= Date: Sun, 10 Sep 2017 13:24:10 +0200 Subject: [PATCH] [ticket/15172] Cast port to integer PHPBB3-15172 --- phpBB/includes/functions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/phpBB/includes/functions.php b/phpBB/includes/functions.php index 5178c1636b..43d8cce3c4 100644 --- a/phpBB/includes/functions.php +++ b/phpBB/includes/functions.php @@ -1661,7 +1661,7 @@ function generate_board_url($without_script_path = false) } else { - $server_port = $symfony_request->getPort(); + $server_port = (int) $symfony_request->getPort(); $forwarded_proto = $request->server('HTTP_X_FORWARDED_PROTO');