Hola Fernando.
Exacto, tenes que instalar esa extensión. Pero además detectamos que hay algunos dígitos de PHP 7.2.X que no son compatibles con la versión de Kolla a la que queres migrar, por lo tanto lo que vas a tener que hacer también es un downgrade a PHP 7.1.
Saludos, Germán