Michele Locati 657657c864 Allow specifying extensions not supported in certain distros		2020-03-03 12:07:51 +01:00
..
tests	Workaround for https://bugs.php.net/bug.php?id=66339 for imagexbm on PHP 5.5	2020-01-31 15:59:34 +01:00
check-installed-extension.php	Lint PHP files	2019-12-27 15:00:45 +01:00
ci-filter-supported-extensions	Minor change	2020-02-21 22:01:48 +01:00
ci-retrieve-recent-extensions	Use lower case extension names	2020-02-29 18:44:31 +01:00
ci-test-extensions	Allow specifying extensions not supported in certain distros	2020-03-03 12:07:51 +01:00
ci-update-readme	Fix deploy remote URL	2020-02-02 21:04:01 +01:00
common	Fix coding style	2019-12-20 16:52:00 +01:00
invoke-shfmt	Check recently updated PHP extensions	2020-02-21 13:19:49 +01:00
lint	Fix lint scripts	2020-01-23 15:01:25 +01:00
lint.bat	Fix lint scripts	2020-01-23 15:01:25 +01:00
test-restore-apt	Upgrade packages in test-restore-apt	2020-01-23 14:54:42 +01:00
update-readme	Allow specifying extensions not supported in certain distros	2020-03-03 12:07:51 +01:00