7 февраля 2019 вышло два релиза 7.2.15 и 7.3.2. Это релизы исправления нескольких багов в ядре, curl, Mbstring и др. Рекомендуется обновить.

Более подробно об изменениях в PHP 7.2.15 можно прочитать тут, об изменениях PHP 7.3.2 можно прочитать тут.