desc/php_targets.desc: add 7.2 target

diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc
index c7b5c0603a6c4b3deabce2e6a27113c51be475c1..ae4ceacb73ee4f21f07826a989d871924ebf66c4 100644 (file)
--- a/profiles/desc/php_targets.desc
+++ b/profiles/desc/php_targets.desc
@@ -3,6 +3,7 @@
 
 # This file contains descriptions of the PHP_TARGETS USE_EXPAND flags
 
+php7-2 - Build against PHP 7.2
 php7-1 - Build against PHP 7.1
 php7-0 - Build against PHP 7.0
 php5-6 - Build against PHP 5.6