Add definition for PHP 7.1.7

sptndc · sptndc · commit ae4cd92bb8d7 · 2018-10-30T12:15:19.000+07:00
diff --git a/share/php-build/7.1.7 b/share/php-build/7.1.7
@@ -0,0 +1 @@
+install_package "php-7.1.7" "https://secure.php.net/distributions/php-7.1.7.tar.gz"

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+install_package "php-7.1.7" "https://secure.php.net/distributions/php-7.1.7.tar.gz"`