MediaWiki
1.28.0
|
ProfilerOutput class that flushes profiling data to the profiling context's stats buffer. More...
Public Member Functions | |
log (array $stats) | |
Flush profiling data to the current profiling context's stats buffer. More... | |
Public Member Functions inherited from ProfilerOutput | |
__construct (Profiler $collector, array $params) | |
Constructor. More... | |
canUse () | |
Can this output type be used? More... | |
log (array $stats) | |
Log MediaWiki-style profiling data. More... | |
Additional Inherited Members | |
Protected Attributes inherited from ProfilerOutput | |
Profiler | $collector |
array | $params = [] |
Configuration of $wgProfiler. More... | |
ProfilerOutput class that flushes profiling data to the profiling context's stats buffer.
Definition at line 32 of file ProfilerOutputStats.php.
ProfilerOutputStats::log | ( | array | $stats | ) |
Flush profiling data to the current profiling context's stats buffer.
array | $stats |
Definition at line 39 of file ProfilerOutputStats.php.
References as.