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

[glen]

commit 39efa713c77ee7fa30d80a83ed6118f5978a444b
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Mon Sep 24 20:19:39 2018 +0300

    add php 7.3

 PLD_Builder/request.py | 2 +-
 client/php.sh          | 2 +-
 client/php73.sh        | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index 4757fb7..fc7211d 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', '7.2']
+        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2', '7.3']
 
         # remove current php version
         try:
diff --git a/client/php.sh b/client/php.sh
index 7242576..78f8920 100755
--- a/client/php.sh
+++ b/client/php.sh
@@ -11,7 +11,7 @@ if [ "$suffix" = "" ]; then
 	done
 	exit 0
 else
-	pre_command='for a in php4-common php52-common php53-common php54-common php55-common php56-common php70-common php71-common php72-common hhvm; do poldek -e $a --noask; done; :'
+	pre_command='for a in php4-common php52-common php53-common php54-common php55-common php56-common php70-common php71-common php72-common php73-common hhvm; do poldek -e $a --noask; done; :'
 fi
 
 exec $dir/make-request.sh -D "php_suffix $suffix" ${pre_command:+-c "$pre_command"} ${post_command:+-C "$post_command"} "$@"
diff --git a/client/php73.sh b/client/php73.sh
new file mode 120000
index 0000000..d20ec52
--- /dev/null
+++ b/client/php73.sh
@@ -0,0 +1 @@
+php.sh
\ No newline at end of file
================================================================

---- gitweb:

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