Timed PHP Compilation 1.4.0

pts/build-php-1.4.0 - 09 September 2017 - Update against php 7.1.9 build

downloads.xml

install.sh

interim.sh

post.sh

pre.sh

results-definition.xml

test-definition.xml