diff options
author | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-01 11:30:27 +0200 |
---|---|---|
committer | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-01 11:30:27 +0200 |
commit | 42ea7f447f39fbc2f79eaaec31f8c10ede59c5d0 (patch) | |
tree | d9cbd3d10d6b30e6b2092e39922b60e8616b4f92 /bin/gittool.php | |
parent | 59bc3b48fdffb76ee65a4b630be3ffa1f6c20c80 (diff) | |
download | rpg-42ea7f447f39fbc2f79eaaec31f8c10ede59c5d0.tar.gz rpg-42ea7f447f39fbc2f79eaaec31f8c10ede59c5d0.tar.bz2 |
Many PHPDocs, some unused and dyn declared vars
many PHPDocs
some unused variables
some dynamically declared variables declared
Diffstat (limited to 'bin/gittool.php')
-rwxr-xr-x | bin/gittool.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/gittool.php b/bin/gittool.php index 6944dde57..7991a9997 100755 --- a/bin/gittool.php +++ b/bin/gittool.php @@ -101,7 +101,7 @@ class GitToolCLI extends DokuCLI { /** * Tries to install the given extensions using git clone * - * @param $extensions + * @param array $extensions */ public function cmd_clone($extensions) { $errors = array(); @@ -130,7 +130,7 @@ class GitToolCLI extends DokuCLI { /** * Tries to install the given extensions using git clone with fallback to install * - * @param $extensions + * @param array $extensions */ public function cmd_install($extensions) { $errors = array(); @@ -291,7 +291,7 @@ class GitToolCLI extends DokuCLI { * Returns the repository for the given extension * * @param $extension - * @return bool|string + * @return false|string */ private function getSourceRepo($extension) { /** @var helper_plugin_extension_extension $ext */ |