I just build it and discover https://github.com/sebastianbergmann/phpunit/issues/2446 Will try to fix it ASAP. Remi. _______________________________________________ php-devel mailing list -- php-devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to php-devel-leave@xxxxxxxxxxxxxxxxxxxxxxx