From 404ecca3761b2879b12ac2e71eb18f688c5e40ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20S=CC=8Ckoda?= Date: Mon, 16 Dec 2013 09:18:27 +0800 Subject: [PATCH] MDL-43314 make float serialize consistent on all systems This should resolve problems with plugin version change detection. --- lib/setup.php | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/setup.php b/lib/setup.php index 1c4bbf07cf6..f1d3054e4fd 100644 --- a/lib/setup.php +++ b/lib/setup.php @@ -216,6 +216,7 @@ if (!isset($_SERVER['REMOTE_ADDR']) && isset($_SERVER['argv'][0])) { // 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 +ini_set('serialize_precision', 17); // Make float serialization consistent on all systems. // Scripts may request no debug and error messages in output // please note it must be defined before including the config.php script