Удалено расширение Phalcon из версии 5.3.0 Open Server. Что делать?

уважаемые эксперты!

На оф. сайте Open Server сообщается, что "Удалено расширение Phalcon из всех модулей PHP" (https://ospanel.io/news/). Проект с которым работаю использует Phalcon и выложен на Git Lab. То есть, от Phalconа я не могу отказаться, значит ли это, что мне придется менять локальный сервер?