mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-10 08:34:20 +02:00
Code Issues Releases Wiki Activity

Fix 5.1 being displayed as 5.09999...

Browse Source
This commit is contained in:
Jakub Vrana
2018-02-05 08:42:25 +01:00
parent 6636434378
commit 3b55c4c0f7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
adminer/include/bootstrap.inc.php
View File

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