diff options
author | Thomas Steur <thomas.steur@googlemail.com> | 2014-11-06 02:09:59 +0300 |
---|---|---|
committer | Thomas Steur <thomas.steur@googlemail.com> | 2014-11-07 03:26:01 +0300 |
commit | 861a5b220cf9fc946ce6356ad42a9e2b98ec3779 (patch) | |
tree | 24cb4887e4cab476f7cad60ba848adfdef44d317 /libs | |
parent | 33c9e8d5e5995f67e5cfdea131f43bac6a7c916e (diff) |
refs #6435 had to patch upgrade.php as serialization is broken when using locale de_DE... should try to submit a pull request forthis otherwise we will not be able to simply update this lib
Diffstat (limited to 'libs')
-rw-r--r-- | libs/upgradephp/upgrade.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/upgradephp/upgrade.php b/libs/upgradephp/upgrade.php index 498e877280..322ffd0455 100644 --- a/libs/upgradephp/upgrade.php +++ b/libs/upgradephp/upgrade.php @@ -349,7 +349,7 @@ function _safe_serialize( $value ) } if(is_float($value)) { - return 'd:'.$value.';'; + return 'd:'.str_replace(',', '.', $value).';'; } if(is_string($value)) { |