Timed PHP Compilation 1.5.0

pts/build-php-1.5.0 - 08 February 2020 - Update against latest upstream, other modernization improvements.

downloads.xml

install.sh

interim.sh

post.sh

pre.sh

results-definition.xml

test-definition.xml