Skip to content

Upgrade deps for php7.3

Thomas requested to merge deps/upgrade-to-php7.3 into master

Add newer PHP versions compatibility.

Target is now 7.3 (latest Debian Stable has it)

Closes #139 (closed)

Merge request reports