reassign 696743 pkg-php-tools severity 696743 important tags 696743 - upstream thanks
Hi, PHPUnit maintainer doesn't agree [1]. As I don't see any reason why a PECL extension can exist in several cases, I will paytch pkg-php-tools to compare case-insensitively. [1]: https://github.com/sebastianbergmann/phpunit/pull/771 Regards Mathieu Parent 2013/1/6 Mathieu Parent <math.par...@gmail.com>: > reassign 696743 phpunit-story > severity 696743 normal > tags 696743 + upstream > thanks > > Hello all, > > IMO this is a bug on the phpunit-story side. The proper case is caps: > SPL and not spl. SPL is already considered a buitin extention by > pkg-php-tools and extension names are case sensitive. > > You can quickly check: > $ php -m | grep -i spl > SPL > > This is an upstream PHPUnit_Story bug. > > Regards > -- > Mathieu -- Mathieu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
