我检查了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