Merge "(bug 30975) API import of pages with invalid characters in this wiki leads...
[lhc/web/wiklou.git] / includes / profiler /
drwxr-xr-x   ..
-rw-r--r-- 15957 Profiler.php
-rw-r--r-- 3797 ProfilerSimple.php
-rw-r--r-- 2221 ProfilerSimpleText.php
-rw-r--r-- 2345 ProfilerSimpleTrace.php
-rw-r--r-- 2302 ProfilerSimpleUDP.php
-rw-r--r-- 1207 ProfilerStub.php