Christoph M. Becker 87d9e02f01 Don't truncate subsecond precision in run-tests.php JUNIT output ...

When run-tests.php has been typed[1], the type of `$time` has been
chosen to be `int`.  This, however, leads to truncation, and the
somewhat relevant subsecond precision is lost.  We fix that by
changing the type to `float`, although `int|string` would be more
appropriate, but requires PHP ≥ 7.4.0.  Another option would be to
move the `number_format()` formatting into `junit_mark_test_as()`.

[1] <11274f53e7>

Closes GH-7836.

2021-12-27 22:15:33 +01:00

129 KiB

Executable File

Raw Blame History

View Raw