Add newer PHP versions compatibility.
Target is now 7.3 (latest Debian Stable has it)
Closes #139 (closed)