Add definition for PHP 7.2.12-dev

sptndc · sptndc · commit 18e4706cb76e · 2018-10-23T16:55:16.000+07:00
diff --git a/share/php-build/7.2.12-dev b/share/php-build/7.2.12-dev
@@ -0,0 +1 @@
+install_git "php-7.2.12-dev" "https://github.com/php/php-src.git" "PHP-7.2" buildconf standard

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+install_git "php-7.2.12-dev" "https://github.com/php/php-src.git" "PHP-7.2" buildconf standard`