Подтвердить что ты не робот

Можно ли загрузить расширение из интерфейса PHP cli, не изменяя ini файл?

Я проверил man php и вывод php -h, но я, похоже, не нашел такого.

Но я помню, что я видел его где-то, вы могли бы сделать что-то вроде php -Xabc.so script.php для временного добавления расширения.

Кто-нибудь это знает?

4b9b3361

Ответ 1

Загрузка регулярного расширения через CLI осуществляется с помощью:

php -dextension=abc.so myfile.php

Если ваше расширение не находится в пути по умолчанию, вы также можете указать абсолютный путь:

php -dextension=/path/to/abc.so myfile.php

Чтобы загрузить расширение Zend, всегда необходимо пройти абсолютный путь:

php -dzend_extension=/path/to/abc.so myfile.php

Ответ 3

Чтобы отключить все по умолчанию (игнорируя php.ini) и указывая конкретные расширения PHP, попробуйте:

php -n $(for e in curl ctype json iconv; { echo -dextension=$e.so; } | xargs) -m

Чтобы запустить скрипт, измените -m на имя файла.