我问自己是否可以检查php文件是否有所需的扩展名,如php-gd或php-xml。我想确定运行某个脚本的所有先决条件。
我希望任何人都可以提供帮助。
提前谢谢。
此致敬意基督教
您可以使用
extension_loaded
:
if(extension_loaded('gd'))
{
echo 'GD Library found';
}
或者,您可以使用 get_loaded_extensions()
,它将返回一个数组。
<?php
if (extension_loaded('gd') && function_exists('gd_info')) {
echo "PHP GD library is installed on your web server";
}
if (extension_loaded('xml')) {
echo "PHP XML installed on your web server";
}
?>
参见
<? print_r(get_loaded_extensions());?>
您可以使用 PhpCodeAnalyzer 静态分析您的代码以查找 PHP 扩展的用法。