Michal Čihař da62d86238 These are done and we do not seem to use decimals

2011-12-14 10:00:01 +01:00

..

mysql.dbi.lib.php

These are done and we do not seem to use decimals

2011-12-14 10:00:01 +01:00

mysqli.dbi.lib.php

…