Update php-code-coverage
Update php-code-coverage

 - phpunit/php-code-coverage updated from 9.1.2 to 9.1.3
   See changes:
https://github.com/sebastianbergmann/php-code-coverage/compare/9.1.2...9.1.3
   Release notes:
https://github.com/sebastianbergmann/php-code-coverage/releases/tag/9.1.3

elabftw/elabftw,elabftw/elabftw,elabftw/elabftw,elabftw/elabftw,elabftw/elabftw