mediawiki.userSuggest: Use formatversion=2 for API request
[mediawiki.git] / includes / profiler / output / 
treeffb0459e375d21964a497f7f572a0af72ec7b7de
drwxr-xr-x   ..
-rw-r--r-- 1579 ProfilerOutput.php
-rw-r--r-- 2568 ProfilerOutputDb.php
-rw-r--r-- 1491 ProfilerOutputDump.php
-rw-r--r-- 1754 ProfilerOutputStats.php
-rw-r--r-- 2385 ProfilerOutputText.php