option (definition) - OpenGrok search results

135     public function get($option, $default = null)

322     public function getOpt($option = null, $default = false)

6 …ersion:e.version,_proto:V.extend({},e),_childConstructors:[]}),(o=new i).options=V.widget.extend({…  method

/dokuwiki/inc/Feed/
H A D	FeedCreatorOptions.php	`135 public function get($option, $default = null)`
/dokuwiki/vendor/phpseclib/phpseclib/phpseclib/Net/SFTP/
H A D	Stream.php	`423 private function _stream_metadata($path, $option, $var) 718 private function _stream_set_option($option, $arg1, $arg2)`
/dokuwiki/vendor/splitbrain/php-cli/src/
H A D	Options.php	`322 public function getOpt($option = null, $default = false)`
/dokuwiki/lib/scripts/jquery/
H A D	jquery.min.js	`2 …ocument?t(e,!0):function(e){if(!e.document)throw new Error("jQuery requires a window with a docume… argument`
H A D	jquery-ui.min.js	`6 …ersion:e.version,_proto:V.extend({},e),_childConstructors:[]}),(o=new i).options=V.widget.extend({… method`