[php-src] PR #23604: perf: avoid floating-point formatting in microtime
| From: | henderkes | Date: | Sun, 06 Sep 2026 22:47:38 +0000 |
| Subject: | [php-src] PR #23604: perf: avoid floating-point formatting in microtime | ||
| Groups: | php.git-pulls | ||
| Request: | Send a blank email to git-pulls+get-38360@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/php-src/pull/23604
Author: henderkes
Convert to long instead of double and save the division. Extra gain because
zend_strpprintf() takes the cheaper integer formatting path instead of having to call
zend_dtoa().
This isn't a bug fix so I guess it should target master? @devnexen