User::isSafeToLoad() should return false if MW_NO_SESSION
[mediawiki.git] / includes / profiler / 
treead405bf29395d21d17ee92cad16fe764a9533e5b
drwxr-xr-x   ..
-rw-r--r-- 1479 ProfileSection.php
-rw-r--r-- 8109 Profiler.php
-rw-r--r-- 1793 ProfilerFunctions.php
-rw-r--r-- 3043 ProfilerSectionOnly.php
-rw-r--r-- 1262 ProfilerStub.php
-rw-r--r-- 6518 ProfilerXhprof.php
-rw-r--r-- 14918 SectionProfiler.php
-rw-r--r-- 9526 TransactionProfiler.php
drwxr-xr-x - output