Completed
Push — gittoolQuietOption ( 6c671f )
by Michael
03:30
created
inc/search.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -382,7 +382,7 @@
 block discarded – undo
382 382
  * @param string $path
383 383
  * @param bool $keeptxt
384 384
  *
385
- * @return mixed|string
385
+ * @return string
386 386
  */
387 387
 function pathID($path,$keeptxt=false){
388 388
     $id = utf8_decodeFN($path);
Please login to merge, or discard this patch.
inc/parser/xhtml.php 1 patch
Doc Comments   +1 added lines patch added patch discarded remove patch
@@ -62,6 +62,7 @@
 block discarded – undo
62 62
      * @param string $type   The section type identifier
63 63
      * @param string $title  The section title
64 64
      * @param int    $start  The byte position for the edit start
65
+     * @param string $hid
65 66
      * @return string  A marker class for the starting HTML element
66 67
      *
67 68
      * @author Adrian Lang <[email protected]>
Please login to merge, or discard this patch.
lib/plugins/config/settings/extra.class.php 1 patch
Doc Comments   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -174,7 +174,7 @@  discard block
 block discarded – undo
174 174
          *
175 175
          * @param admin_plugin_config $plugin object of config plugin
176 176
          * @param bool            $echo   true: show inputted value, when error occurred, otherwise the stored setting
177
-         * @return array with content array(string $label_html, string $input_html)
177
+         * @return string[] with content array(string $label_html, string $input_html)
178 178
          */
179 179
         function html(admin_plugin_config $plugin, $echo=false) {
180 180
             global $lang;
@@ -282,7 +282,7 @@  discard block
 block discarded – undo
282 282
          *
283 283
          * @param admin_plugin_config $plugin object of config plugin
284 284
          * @param bool            $echo   true: show inputted value, when error occurred, otherwise the stored setting
285
-         * @return array with content array(string $label_html, string $input_html)
285
+         * @return string[] with content array(string $label_html, string $input_html)
286 286
          */
287 287
         function html(admin_plugin_config $plugin, $echo=false) {
288 288
 
Please login to merge, or discard this patch.
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.