From: Elan Ruusamäe <glen@delfi.ee>
Date: Mon, 24 Sep 2018 17:19:39 +0000 (+0300)
Subject: add php 7.3
X-Git-Url: http://git.pld-linux.org/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=39efa713c77ee7fa30d80a83ed6118f5978a444b;p=projects%2Fpld-builder.new.git

add php 7.3
---

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