[projects/pld-builder.new] add php 7.2

[glen]

commit fbcafcbb65df8e3a8224b9789fdf131d3d84cd72
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Sat Oct 28 23:06:59 2017 +0300

    add php 7.2

 PLD_Builder/request.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index d66711e..4c47d06 100644
--- a/PLD_Builder/request.py
+++ b/PLD_Builder/request.py
@@ -409,7 +409,7 @@ class Batch:
 
     def php_ignores(self, php_version):
         # available php versions in distro
-        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1']
+        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2']
 
         # remove current php version
         try:
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/fbcafcbb65df8e3a8224b9789fdf131d3d84cd72