/usr/share/php/Horde/Argv/BadOptionException.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 | <?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
*/
/**
* Raised if an invalid option is seen on the command line.
*
* @category Horde
* @package Argv
*/
class Horde_Argv_BadOptionException extends Horde_Argv_OptionException
{
public function __construct($opt_str)
{
parent::__construct(sprintf('no such option: %s', $opt_str));
}
}
|