jenkins-bot 63d850f225 Merge "Remove $wgProfileLimit setting"		2020-03-19 23:17:37 +00:00
..
output	profiler: Clean up file headers and @ingroup	2020-02-05 23:28:12 +00:00
Profiler.php	Merge "Remove $wgProfileLimit setting"	2020-03-19 23:17:37 +00:00
ProfilerExcimer.php	profiler: Clean up file headers and @ingroup	2020-02-05 23:28:12 +00:00
ProfilerSectionOnly.php	Use PHP 7 '<=>' operator in 'sort()' callbacks	2018-05-30 18:05:20 -07:00
ProfilerStub.php	profiler: Clean up file headers and @ingroup	2020-02-05 23:28:12 +00:00
ProfilerXhprof.php	Fix documentation for Tideways XHProf flags	2020-02-10 15:02:50 +01:00
SectionProfileCallback.php	profiler: Clean up file headers and @ingroup	2020-02-05 23:28:12 +00:00
SectionProfiler.php	profiler: Document SectionProfiler private start and end as 'array|null'	2020-03-02 02:56:51 +00:00