Yes Ondřej you are right, is going to be removed. But is not already, and PHP7.3 is still as RC.
Could you please consider to add support to current supported versions (at the moment 7.2) and dump them once they have been removed?
On Tue, 23 Oct 2018 11:36:08 +0200 =?utf-8?Q?Ond=C3=85=C2=99ej_Sur=C3=83=C2=BD?= <ond...@sury.org> wrote: > PHP 7.0 and 7.1 has been already removed and PHP 7.2 is next to be removed.
> > -- > Ondřej Surý <ond...@sury.org>
