Bug in php 7.1 when using $go_debug>0 in config.php. Only a warning. Work around.

diff --git a/includes/current_user.inc b/includes/current_user.inc
index e6f051885848068c5abe02ef574776594dbff276..20ce1e0fc9599f8d178f34c07146603497ba18e2 100644 (file)
--- 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;
        }