Merge "Move up devunt's name to Developers"
[lhc/web/wiklou.git] / includes / profiler /
drwxr-xr-x   ..
-rw-r--r-- 1485 ProfileSection.php
-rw-r--r-- 8125 Profiler.php
-rw-r--r-- 1805 ProfilerFunctions.php
-rw-r--r-- 3043 ProfilerSectionOnly.php
-rw-r--r-- 1206 ProfilerStub.php
-rw-r--r-- 6919 ProfilerXhprof.php
-rw-r--r-- 14754 SectionProfiler.php
drwxr-xr-x - output