Что это за версия PHP — «php7.2-umi»?
Нет такой версии PHP, но есть СMS UМI, скорее всего это название пакета установки UМI CMS адаптированной под PHP 7.2.
Все знают, что PHP - проект с открытым исходным кодом. То есть каждый человек может сделать свою сборку с нужными ему пакетами. Как и писал ixon, скорее всего версия php7.2-umi была создана специально для CMS UМI её разработчиками или пользователями, заинтересованными в её ускорении.