Чтобы установить расширение 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. Выберите метод, который соответствует вашим требованиям и среде.