<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=us-ascii" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 11.00.9600.19301"></HEAD>
<BODY>
<DIV><FONT color=#000080 size=2 face=Arial><SPAN class=611232108-19032019>Hi
all,</SPAN></FONT></DIV>
<DIV><FONT color=#000080 size=2 face=Arial><SPAN
class=611232108-19032019></SPAN></FONT> </DIV>
<DIV><FONT color=#000080 size=2 face=Arial><SPAN class=611232108-19032019>the
documentation says that PHP 7.2.X is not yet fully suported for
MapBender</SPAN></FONT></DIV>
<DIV><FONT color=#000080 size=2 face=Arial><SPAN class=611232108-19032019>Is
that still the current state of the art or would that likely work out ok
?</SPAN></FONT></DIV>
<DIV><FONT color=#000080 size=2 face=Arial></FONT> </DIV>
<DIV align=left>
<DIV align=left><SPAN
style="FONT-SIZE: 11pt; FONT-FAMILY: 'Verdana','sans-serif'"><SPAN
class=611232108-19032019><FONT color=#000080 size=2
face=Arial>Cheers</FONT></SPAN></SPAN></DIV>
<DIV align=left><SPAN
style="FONT-SIZE: 11pt; FONT-FAMILY: 'Verdana','sans-serif'"><SPAN
class=611232108-19032019></SPAN><FONT color=#000080 size=2
face=Arial>Karsten</FONT> </SPAN></DIV></DIV></BODY></HTML>