php-7.3

This is a known PHP 7.3 bug, which has already been fixed. As a temporary workaround, edit your php.ini file (in my case: vi /usr/local/etc/php/7.3/php.ini), disable PHP PCRE JIT compilation by changing: ;pcre.jit=1 to pcre.jit=0