From f01be9f366f10613cdfd5bfc6ca47ea02ce72387 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Sun, 15 Feb 2009 19:03:18 +0000
Subject: [PATCH] MDL-18253 hopefully fixed weird float precision that breaks
 upgrade and gradebook; backported from HEAD

---
 lib/setup.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/setup.php b/lib/setup.php
index ff1e1aab269..2a8591c64a4 100644
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -89,6 +89,10 @@ global $HTTPSPAGEREQUIRED;
         die;
     }
 
+/// sometimes default PHP settings are borked on shared hosting servers, I wonder why they have to do that??
+    @ini_set('precision', 14); // needed for upgrades and gradebook
+
+
 /// store settings from config.php in array in $CFG - we can use it later to detect problems and overrides
     $CFG->config_php_settings = (array)$CFG;