PHP 7.2.0 wurde vor kurzem released… http://php.net/archive/2017.php#id2017-11-30-1
Wie ist hier der Stand?