From 44cf3d18264c349252918e527b6d07f75c5c86c3 Mon Sep 17 00:00:00 2001
From: Marius Burkard <m.burkard@pixcept.de>
Date: Wed, 10 Mar 2021 12:54:54 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)

---
 install/tpl/jk_init.ini.master | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install/tpl/jk_init.ini.master b/install/tpl/jk_init.ini.master
index 274c0388df..c1b19326e6 100644
--- a/install/tpl/jk_init.ini.master
+++ b/install/tpl/jk_init.ini.master
@@ -185,7 +185,7 @@ paths = env
 [php]
 comment = default php version and libraries
 paths = /usr/bin/php
-includesections = php_common
+includesections = php_common, php7_3
 
 [php_common]
 comment = common php directories and libraries
-- 
GitLab