Page MenuHomeIn-Portal Phabricator

D143.id439.diff
No OneTemporary

File Metadata

Created
Sat, Jun 28, 8:52 PM

D143.id439.diff

Index: core/kernel/utility/formatters/formatter.php
===================================================================
--- core/kernel/utility/formatters/formatter.php
+++ core/kernel/utility/formatters/formatter.php
@@ -177,6 +177,11 @@
}
if (isset($format) && $format) {
+ if ( substr($format, -1) === 'f' ) {
+ // High precision formats (e.g. '%01.20f') not supported to keep code below as fast as possible.
+ $value = round($value, substr($format, -2, 1));
+ }
+
$value = sprintf($format, $value);
if ( isset($options['cut_zeros']) && $options['cut_zeros'] ) {

Event Timeline