|
MediaWiki
master
|
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.