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(); }