Я пытаюсь понять процесс включения основного расширения (dom) в php. Когда я запускаю phpinfo, я вижу '–disable-dom' в команде configure. Должен ли я переустанавливать PHP?