⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.78
Server IP:
41.128.143.86
Server:
Linux host.raqmix.cloud 6.8.0-1025-azure #30~22.04.1-Ubuntu SMP Wed Mar 12 15:28:20 UTC 2025 x86_64
Server Software:
Apache
PHP Version:
8.3.23
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
psa-pear
/
pear
/
php
/
Horde
/
Argv
/
View File Name :
OptionGroup.php
* @author Mike Naberezny
* @license http://www.horde.org/licenses/bsd BSD * @category Horde * @package Argv */ /** * An option group allows to group a number of options under a common header * and description. * * @category Horde * @package Argv * @author Chuck Hagenbuch
* @author Mike Naberezny
* @copyright 2010-2017 Horde LLC * @license http://www.horde.org/licenses/bsd BSD */ 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; } }