Merge "Revert "Forward port of https://www.mediawiki.org/wiki/Special:Code/MediaWiki...
[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