Add definition for PHP 7.1.12

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

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