(bug 35565) Special:Log/patrol doesn't indicate whether patrolling was automatic
[mediawiki.git] / includes / profiler / 
tree1ba1d3f1ba2b6e4c0265fab903af67dcb1dc934d
drwxr-xr-x   ..
-rw-r--r-- 13563 Profiler.php
-rw-r--r-- 2873 ProfilerSimple.php
-rw-r--r-- 1415 ProfilerSimpleText.php
-rw-r--r-- 1871 ProfilerSimpleTrace.php
-rw-r--r-- 1500 ProfilerSimpleUDP.php
-rw-r--r-- 375 ProfilerStub.php