public function getLinterConfigurationOptions()
{
$options = parent::getLinterConfigurationOptions();
$options['discovery'] = array('type' => 'map<string, list<string>>', 'help' => pht('Provide a discovery map.'));
// TODO: This should probably be replaced with "bin" when this moves
// to extend ExternalLinter.
$options['binary'] = array('type' => 'string', 'help' => pht('Override default binary.'));
return $options;
}
public function getLinterConfigurationOptions()
{
$options = array('text.max-line-length' => array('type' => 'optional int', 'help' => pht('Adjust the maximum line length before a warning is raised. By ' . 'default, a warning is raised on lines exceeding 80 characters.')));
return $options + parent::getLinterConfigurationOptions();
}
public function getLinterConfigurationOptions()
{
// These fields are optional only to avoid breaking things.
$options = array('script-and-regex.script' => array('type' => 'string', 'help' => pht('Script to execute.')), 'script-and-regex.regex' => array('type' => 'regex', 'help' => pht('The regex to process output with.')));
return $options + parent::getLinterConfigurationOptions();
}
public function getLinterConfigurationOptions()
{
// These fields are optional only to avoid breaking things.
$options = array('external-json.script' => array('type' => 'string', 'help' => pht('Script to execute.')));
return $options + parent::getLinterConfigurationOptions();
}
public function getLinterConfigurationOptions()
{
$options = array('spelling.dictionaries' => array('type' => 'optional list<string>', 'help' => pht('Pass in custom dictionaries.')));
return $options + parent::getLinterConfigurationOptions();
}
