private function parsePhpOptions($config)
{
if (!array_key_exists('php-options', $config)) {
return array();
}
if (!is_array($config['php-options'])) {
throw new ParseException('The php-options configuration should be an array.');
}
$phpOptions = array();
foreach ($config['php-options'] as $i => $phpOption) {
if (!is_string($phpOption)) {
throw new ParseException(sprintf('The php-option at key "%s" should be a string.', $i));
}
$phpOptions[] = $phpOption;
}
return $phpOptions;
}