Merge "Update OOjs UI to v0.1.0-pre (12b66051ff)"
[lhc/web/wiklou.git] / includes / profiler /
drwxr-xr-x   ..
-rw-r--r-- 1999 ProfileSection.php
-rw-r--r-- 5838 Profiler.php
-rw-r--r-- 2225 ProfilerFunctions.php
-rw-r--r-- 2801 ProfilerSimpleDB.php
-rw-r--r-- 2470 ProfilerSimpleText.php
-rw-r--r-- 2664 ProfilerSimpleTrace.php
-rw-r--r-- 2292 ProfilerSimpleUDP.php
-rw-r--r-- 15836 ProfilerStandard.php
-rw-r--r-- 1334 ProfilerStub.php
-rw-r--r-- 4370 TransactionProfiler.php