include php4 in php plays

diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index 5ec56f75bf237286968d00a30e8e5ef587273b5d..588a9c42638ced9bb859139fbe4ef6d42062e653 100644 (file)
--- a/PLD_Builder/request.py
+++ b/PLD_Builder/request.py
@@ -350,7 +350,7 @@ class Batch:
             return v.replace('.', '')
 
         # available php versions in distro
-        php_versions = ['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']
 
         # current version if -D php_suffix is present
         php_version = php_name_to_ver(self.defines['php_suffix'])