Как установить расширение ext-dom для PHP 7.2: подробное руководство

Чтобы установить расширение ext-domдля PHP 7.2, вы можете воспользоваться одним из способов, описанных ниже. Каждый метод содержит пример кода, который поможет вам выполнить весь процесс.

Метод 1: использование диспетчера пакетов (apt-get)

Шаг 1. Обновите списки пакетов:

sudo apt-get update

Шаг 2. Установите пакет ext-dom:

sudo apt-get install php7.2-dom

Метод 2: использование диспетчера пакетов (ням)

Шаг 1. Обновите списки пакетов:

sudo yum update

Шаг 2. Установите пакет ext-dom:

sudo yum install php72u-dom

Метод 3: использование диспетчера пакетов PECL

Шаг 1. Установите пакет php-pear(если он еще не установлен):

sudo apt-get install php-pear

Шаг 2. Установите пакет ext-domс помощью PECL:

sudo pecl install xml

Шаг 3. Добавьте строку extension=dom.soв файл конфигурации PHP:

sudo echo "extension=dom.so" >> /etc/php/7.2/cli/php.ini

Метод 4: компиляция из исходного кода

Шаг 1. Загрузите исходный код PHP:

wget http://php.net/get/php-7.2.34.tar.gz/from/this/mirror -O php-7.2.34.tar.gz

Шаг 2. Распакуйте скачанный архив:

tar -xzvf php-7.2.34.tar.gz
cd php-7.2.34/ext/dom

Шаг 3. Скомпилируйте и установите расширение:

phpize
./configure
make
sudo make install

Шаг 4. Добавьте строку extension=dom.soв файл конфигурации PHP:

sudo echo "extension=dom.so" >> /etc/php/7.2/cli/php.ini

Вот некоторые методы, которые можно использовать для установки расширения ext-domдля PHP 7.2. Выберите метод, который соответствует вашим требованиям и среде.