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

[glen]

commit 66489a514262a322de6a57ab4548b96b2750240f
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Mon Dec 19 22:24:57 2016 +0200

    add php 7.1

 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 eba63fc..24784c0 100644
--- a/PLD_Builder/request.py
+++ b/PLD_Builder/request.py
@@ -407,7 +407,7 @@ class Batch:
             return v.replace('.', '')
 
         # available php versions in distro
-        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0']
+        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1']
 
         # current version if -D php_suffix is present
         php_version = php_name_to_ver(self.defines['php_suffix'])
================================================================

---- gitweb:

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