Completed
Push — gittoolQuietOption ( 6c671f )
by Michael
03:30
created
bin/gittool.php 1 patch
Doc Comments   +2 added lines, -1 removed lines patch added patch discarded remove patch
@@ -171,6 +171,7 @@  discard block
 block discarded – undo
171 171
      *
172 172
      * @param $cmd
173 173
      * @param $arg
174
+     * @param boolean|string $quiet
174 175
      */
175 176
     public function cmd_git($cmd, $arg, $quiet) {
176 177
         $repos = $this->findRepos();
@@ -302,7 +303,7 @@  discard block
 block discarded – undo
302 303
      * Returns the repository for the given extension
303 304
      *
304 305
      * @param $extension
305
-     * @return false|string
306
+     * @return string
306 307
      */
307 308
     private function getSourceRepo($extension) {
308 309
         /** @var helper_plugin_extension_extension $ext */
Please login to merge, or discard this patch.