php-phpunit-php-timer7 ====================== /usr/share/doc/php-phpunit-php-timer7 /usr/share/licenses/php-phpunit-php-timer7 /usr/share/php/SebastianBergmann /usr/share/php/SebastianBergmann/Timer7 /usr/share/php/SebastianBergmann/Timer7/exceptions /usr/share/doc/php-phpunit-php-timer7/README.md /usr/share/doc/php-phpunit-php-timer7/composer.json /usr/share/licenses/php-phpunit-php-timer7/LICENSE /usr/share/php/SebastianBergmann/Timer7/Duration.php /usr/share/php/SebastianBergmann/Timer7/ResourceUsageFormatter.php /usr/share/php/SebastianBergmann/Timer7/Timer.php /usr/share/php/SebastianBergmann/Timer7/autoload.php /usr/share/php/SebastianBergmann/Timer7/exceptions/Exception.php /usr/share/php/SebastianBergmann/Timer7/exceptions/NoActiveTimerException.php /usr/share/php/SebastianBergmann/Timer7/exceptions/TimeSinceStartOfRequestNotAvailableException.php