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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
