diff options
| author | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-01 17:05:40 +0200 |
|---|---|---|
| committer | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-01 17:05:40 +0200 |
| commit | e3710957c6b7e12293805a15d0624be7c7054092 (patch) | |
| tree | b3a7542d4eb9e3b35a1f4c4ef499b6773e75a336 /inc/cli.php | |
| parent | 253d4b48ec708eb42033862dc15c8576f44a48ed (diff) | |
| download | rpg-e3710957c6b7e12293805a15d0624be7c7054092.tar.gz rpg-e3710957c6b7e12293805a15d0624be7c7054092.tar.bz2 | |
more phpdocs and minor check
Diffstat (limited to 'inc/cli.php')
| -rw-r--r-- | inc/cli.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/cli.php b/inc/cli.php index 29d76ece1..14e2c0c8d 100644 --- a/inc/cli.php +++ b/inc/cli.php @@ -471,7 +471,7 @@ class DokuCLI_Options { * * @param string $option * @param bool|string $default what to return if the option was not set - * @return false|string + * @return bool|string */ public function getOpt($option, $default = false) { if(isset($this->options[$option])) return $this->options[$option]; |