add php 7.3

diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index 4757fb7378fb0f59835bc65f3a95f65b1ce37f25..fc7211daeaccc75b43edd02a385565e5d0045001 100644 (file)
--- 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 72425762a111051cc7f103521ef3901555e13a5f..78f89200ade7c846aa5e908b76df106b76387a71 100755 (executable)
--- 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 (symlink)
index 0000000..d20ec52
--- /dev/null
+++ b/client/php73.sh
@@ -0,0 +1 @@
+php.sh
\ No newline at end of file