Я пытаюсь установить intl для php 7.1.23 на MA C Mojave. Пока intl для PHP 7.1.31 - единственная версия, которую я могу найти, где я могу получить intl для версии 7.1.23?