Now require PHP 7.2.1+