builder: include php 7.4 support

diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index fea552810a4e957d4cbead5595ace39016ddd1e5..0bc40aa9b8bab1b92978d46cd5a6c28683097d3c 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', '7.3']
+        php_versions = ['4', '5.2', '5.3', '5.4', '5.5', '5.6', '7.0', '7.1', '7.2', '7.3', '7.4']
 
         # remove current php version
         try: