- The code under question was completely covered by tests.
- The number of lines were reduced.
- The tests succeeded.
- Jenkins posted a failure because "code coverage" dropped from 41.31% to 41.25%
T188687: phpunit-patch-coverage logic on when coverage goes down in one file and up for others needs improving is related, but we can probably solve this instance in a simpler way by rounding earlier. For most files we can probably round to nearest integer, and maybe if the file has more than 500 or 1000 lines, then we go to 1-2 decimal points.