diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
| commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
| tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /maintenance/term/MWTerm.php | |
| parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) | |
Update to MediaWiki 1.24.1
Diffstat (limited to 'maintenance/term/MWTerm.php')
| -rw-r--r-- | maintenance/term/MWTerm.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintenance/term/MWTerm.php b/maintenance/term/MWTerm.php index c52f07cc..d90d0695 100644 --- a/maintenance/term/MWTerm.php +++ b/maintenance/term/MWTerm.php @@ -35,8 +35,8 @@ class AnsiTermColorer { /** * Return ANSI terminal escape code for changing text attribs/color * - * @param $color String: semicolon-separated list of attribute/color codes - * @return String + * @param string $color Semicolon-separated list of attribute/color codes + * @return string */ public function color( $color ) { global $wgCommandLineDarkBg; @@ -49,7 +49,7 @@ class AnsiTermColorer { /** * Return ANSI terminal escape code for restoring default text attributes * - * @return String + * @return string */ public function reset() { return $this->color( 0 ); |