]> git.joonet.de Git - adminer.git/commitdiff
Round 9.2 to 9.2
authorJakub Vrana <jakub@vrana.cz>
Thu, 8 Feb 2018 22:57:11 +0000 (23:57 +0100)
committerJakub Vrana <jakub@vrana.cz>
Thu, 8 Feb 2018 22:58:09 +0000 (23:58 +0100)
adminer/include/bootstrap.inc.php

index 04afa5a35a897451b4f4a600f1e7d0b1d78b38d9..d3e791aec6cd4888ca79f33d7ccd375947963a1a 100644 (file)
@@ -57,7 +57,7 @@ if (get_magic_quotes_runtime()) {
 }
 @set_time_limit(0); // @ - can be disabled
 @ini_set("zend.ze1_compatibility_mode", false); // @ - deprecated
-@ini_set("precision", 16); // @ - can be disabled, 16 - internal PHP precision
+@ini_set("precision", 15); // @ - can be disabled, 15 - internal PHP precision
 
 include "../adminer/include/lang.inc.php";
 include "../adminer/lang/$LANG.inc.php";