Editing File: /htdocs/site_data_2024/vendor/nunomaduro/collision/src/Adapters/Phpunit/Timer.php