diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2024-09-14 10:12:18 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-09-14 10:12:18 +0200 |
| commit | 6eec17e9a96712d401126821ad8633cb18d9dd03 (patch) | |
| tree | f5b5f86f55630c3cb6bd2ba553dc4011208b4a05 /includes/profiler | |
| parent | bcd8cd29f633ac019ba976881dc119ec0e0ccb82 (diff) | |
| download | mediawikicore-6eec17e9a96712d401126821ad8633cb18d9dd03.tar.gz mediawikicore-6eec17e9a96712d401126821ad8633cb18d9dd03.zip | |
Add missing documentation to class properties (miscellaneous classes)
Add doc-typehints to class properties found by the PropertyDocumentation
sniff to improve the documentation.
Once the sniff is enabled it avoids that new code is missing type
declarations. This is focused on documentation and does not change code.
Change-Id: I1da4b272a6b28c419cc8e860d142dae19ca0bbcf
Diffstat (limited to 'includes/profiler')
| -rw-r--r-- | includes/profiler/ProfilerExcimer.php | 1 | ||||
| -rw-r--r-- | includes/profiler/output/ProfilerOutputDump.php | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/includes/profiler/ProfilerExcimer.php b/includes/profiler/ProfilerExcimer.php index 32d9ec4c32ba..3fc7814797bb 100644 --- a/includes/profiler/ProfilerExcimer.php +++ b/includes/profiler/ProfilerExcimer.php @@ -28,6 +28,7 @@ class ProfilerExcimer extends Profiler { private $cpuProf; /** @var ExcimerProfiler */ private $realProf; + /** @var float */ private $period; /** diff --git a/includes/profiler/output/ProfilerOutputDump.php b/includes/profiler/output/ProfilerOutputDump.php index 501388e67c41..a977095dc087 100644 --- a/includes/profiler/output/ProfilerOutputDump.php +++ b/includes/profiler/output/ProfilerOutputDump.php @@ -25,6 +25,7 @@ * @since 1.25 */ class ProfilerOutputDump extends ProfilerOutput { + /** @var string */ protected $suffix = ".xhprof"; /** |