mediawiki.userSuggest: Use formatversion=2 for API request
[mediawiki.git] / includes / profiler / 
tree7bf8ab965e3fb85b05bb9788c6aa9c74179c4479
drwxr-xr-x   ..
-rw-r--r-- 1479 ProfileSection.php
-rw-r--r-- 8134 Profiler.php
-rw-r--r-- 1793 ProfilerFunctions.php
-rw-r--r-- 3053 ProfilerSectionOnly.php
-rw-r--r-- 1262 ProfilerStub.php
-rw-r--r-- 6538 ProfilerXhprof.php
-rw-r--r-- 15038 SectionProfiler.php
-rw-r--r-- 9591 TransactionProfiler.php
drwxr-xr-x - output