我检查了php -h的php和输出,但我似乎没有找到这样的东西.
但是我记得在某处看到它,你可以像php -Xabc.so script.php这样做,暂时加载一个扩展名.
有人知道吗
通过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