diff --git a/src/amcli.php b/src/amcli.php index 1d1d8d88db448efe6f11f0426d8119e3f5eb85c9..b9b4e19d3bdff21b92f034d0ff42180abcd3da15 100755 --- a/src/amcli.php +++ b/src/amcli.php @@ -90,6 +90,7 @@ OPTIONS: -h, --help Print this help and exit -i, --ini Set an INI File to parse -l, --list list available checks and exit; --ini will be ignored + -m, --modules list available Php modules in this binary -v, --verbose Verbose output -V, --version Show version and exit @@ -141,6 +142,15 @@ if (isset($ARGS['-l']) || isset($ARGS['--list'])) { exit(0); } +// show builtin modules +if (isset($ARGS['-m']) || isset($ARGS['--modules'])) { + _wd("Showing php modules"); + $aMods=get_loaded_extensions(); + sort($aMods); + echo implode("\n", $aMods); + exit(0); +} + $inifile = $ARGS["--ini"] ?? ($ARGS["-i"] ?? ""); if (!$inifile) { echo "ERROR: Set an INI File using -i=<FILE> (or --ini=<FILE>).\n";