| public __construct ( string $cwd, array $inis, string $type = "extension", string $prefix = null, string $common_name = "php", string $sudo = null ) | ||
| $cwd | string | working directory |
| $inis | array | custom INI or list of loaded/scanned INI files |
| $type | string | extension or zend_extension |
| $prefix | string | install prefix, e.g. /usr/local |
| $common_name | string | PHP programs common name, e.g. php5 |
| $sudo | string | sudo command |
public function __construct($cwd, array $inis, $type = "extension", $prefix = null, $common_name = "php", $sudo = null)
{
$this->cwd = $cwd;
$this->type = $type;
$this->sudo = $sudo;
if (!($this->inis = $inis)) {
throw new Exception("No PHP INIs given");
}
$cmd = $common_name . "-config";
if (isset($prefix)) {
$cmd = $prefix . "/bin/" . $cmd;
}
$this->php_config = $cmd;
}