You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jordi Boggiano c9846d4d3c Merge pull request #8812 from nicolas-grekas/ext-check ... Optimize extension checks		4 years ago
..
Composer/Test	Merge pull request #8812 from nicolas-grekas/ext-check	4 years ago
bootstrap.php	Fixes from PHPStan (#7687)	6 years ago
complete.phpunit.xml	Stop running PEAR Repo test suite as it fails and is kinda irrelevant at this point	8 years ago