diff --git a/.travis.yml b/.travis.yml index 9370526..0e7a661 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,11 +4,10 @@ language: php php: - 5.5 - 5.6 - - 7.0 - 7.1 before_script: - - composer install -no --prefer-dist + - composer install -no script: - php ./vendor/bin/phpunit -c phpunit.xml 2>/dev/null diff --git a/dev/RouterDev.php b/dev/RouterDev.php index 99ab71a..f52c4d1 100644 --- a/dev/RouterDev.php +++ b/dev/RouterDev.php @@ -55,6 +55,8 @@ public static function header($header_string, $replace=false) { /** * Patched Header::send_cookie(). + * + * @codeCoverageIgnore */ public static function send_cookie( $name, $value='', $expire=0, $path='', $domain='',