Merge "DatabaseMssql: Don't duplicate body of makeList()"
[mediawiki.git] / includes / profiler / 
treea82dced55e713616a04c50739a0dceeb168c21c6
drwxr-xr-x   ..
-rw-r--r-- 1477 ProfileSection.php
-rw-r--r-- 6666 Profiler.php
-rw-r--r-- 1772 ProfilerFunctions.php
-rwxr-xr-x 3053 ProfilerSectionOnly.php
-rw-r--r-- 1204 ProfilerStub.php
-rw-r--r-- 5974 ProfilerXhprof.php
-rw-r--r-- 15117 SectionProfiler.php
-rw-r--r-- 8052 TransactionProfiler.php
drwxr-xr-x - output