Вручную добавил настройки в wampmanager.ini (последние два пункта
инструкции), который, как я понимаю, отвечают за переключение между версиями PHP. Теперь версии языков переключаются и работают, но переключение не отображается в меню (галочка остается возле PHP 7.1.6). Если у вас есть предположения как это исправить, то я буду благодарен за то, что вы ими поделитесь