diff options
author | Thiemo Kreuz <thiemo.kreuz@wikimedia.de> | 2019-11-29 14:33:43 +0100 |
---|---|---|
committer | Thiemo Kreuz (WMDE) <thiemo.kreuz@wikimedia.de> | 2019-12-02 12:58:29 +0000 |
commit | 78ca9eff4a5aa6d481c3c030ca58e579d4912889 (patch) | |
tree | 642281b8912dc3a555f16d91b9ddb01cd28f7c15 /includes/profiler/ProfilerXhprof.php | |
parent | c387e77b8e2a9cc4afe4c981d171d09920bef237 (diff) | |
download | mediawikicore-78ca9eff4a5aa6d481c3c030ca58e579d4912889.tar.gz mediawikicore-78ca9eff4a5aa6d481c3c030ca58e579d4912889.zip |
Remove duplicate variable name from class property PHPDocs
Repeating the variable name doesn't do anything. Documentation
generators don't need it. It's more stuff to read that doesn't add new
information. And it can become outdated.
Note there are two types of @var docs. When used inline (and not on a
class property) the variable name is needed.
Change-Id: If5a520405efacd8cefd90b878c999b842b91ac61
Diffstat (limited to 'includes/profiler/ProfilerXhprof.php')
-rw-r--r-- | includes/profiler/ProfilerXhprof.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/profiler/ProfilerXhprof.php b/includes/profiler/ProfilerXhprof.php index 10045e3e2794..d47e093211d1 100644 --- a/includes/profiler/ProfilerXhprof.php +++ b/includes/profiler/ProfilerXhprof.php @@ -54,7 +54,7 @@ */ class ProfilerXhprof extends Profiler { /** - * @var XhprofData|null $xhprofData + * @var XhprofData|null */ protected $xhprofData; |