From 3f5a61dd5f2abfbaa853c6777c95ea8e780e6472 Mon Sep 17 00:00:00 2001
From: Joe Hunt <joe.hunt.consulting@gmail.com>
Date: Fri, 10 Nov 2017 14:58:14 +0100
Subject: [PATCH] Bug in php 7.1 when using $go_debug>0 in config.php. Only a
 warning. Work around.

---
 includes/current_user.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/current_user.inc b/includes/current_user.inc
index e6f05188..20ce1e0f 100644
--- a/includes/current_user.inc
+++ b/includes/current_user.inc
@@ -311,7 +311,7 @@ function number_format2($number, $decimals=0)
 		$dec = 15 - floor(log10(abs($number)));
 	else {
 		$delta = ($number < 0 ? -.0000000001 : .0000000001);
-		$number += $delta;
+		@$number += $delta;
 		$dec = $decimals;
 	}
 
-- 
2.30.2