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