/usr/share/php/Horde/Argv/OptionGroup.php is in php-horde-argv 2.0.12-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | <?php
/**
* @author Chuck Hagenbuch <chuck@horde.org>
* @author Mike Naberezny <mike@maintainable.com>
* @license http://www.horde.org/licenses/bsd BSD
* @category Horde
* @package Argv
*/
/**
* @category Horde
* @package Argv
*/
class Horde_Argv_OptionGroup extends Horde_Argv_OptionContainer
{
protected $_title;
public function __construct($parser, $title, $description = null)
{
$this->parser = $parser;
parent::__construct($parser->optionClass, $parser->conflictHandler, $description);
$this->_title = $title;
}
protected function _createOptionList()
{
$this->optionList = array();
$this->_shareOptionMappings($this->parser);
}
public function setTitle($title)
{
$this->_title = $title;
}
public function __destruct()
{
unset($this->optionList);
}
// -- Help-formatting methods ---------------------------------------
public function formatHelp($formatter = null)
{
if (is_null($formatter))
return '';
$result = $formatter->formatHeading($this->_title);
$formatter->indent();
$result .= parent::formatHelp($formatter);
$formatter->dedent();
return $result;
}
}
|