I wonder what paused-PHP to PHP counted: yes (0.1s of 0.2s)
instead of the expected paused-PHP to PHP counted: yes (0.2s of %fs)
in the paused-PHP to PHP counted
test (timer.phpt
) under php 7.4 could mean.
That test had passed for a change I introduced (https://gerrit.wikimedia.org/r/c/mediawiki/php/luasandbox/+/626884/2#message-4a6b5fa8c1ec0e6e5f34d1ebf4cbd8881a86a119) in my build but not at https://integration.wikimedia.org.