From 01d8c3bffde890f1017af8d9b003c81f5bcd8811 Mon Sep 17 00:00:00 2001 From: stickler-ci Date: Sat, 2 Nov 2019 12:20:32 +0000 Subject: [PATCH] Fixing style errors. --- htdocs/install/upgrade2.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/install/upgrade2.php b/htdocs/install/upgrade2.php index ece176a4c11..38207f85ccc 100644 --- a/htdocs/install/upgrade2.php +++ b/htdocs/install/upgrade2.php @@ -65,7 +65,7 @@ $error = 0; $err=error_reporting(); error_reporting(0); if (! empty($conf->global->MAIN_OVERRIDE_TIME_LIMIT)) - @set_time_limit((int)$conf->global->MAIN_OVERRIDE_TIME_LIMIT); + @set_time_limit((int) $conf->global->MAIN_OVERRIDE_TIME_LIMIT); else @set_time_limit(300); error_reporting($err);