Merge "Add Timing-Allow-Origin header for cross-domain API responses"
[mediawiki.git] / includes / profiler / 
tree302f0fb42670ab06956b5c6bb8736363fd6f2b30
drwxr-xr-x   ..
-rw-r--r-- 1477 ProfileSection.php
-rw-r--r-- 6840 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-- 5331 TransactionProfiler.php
drwxr-xr-x - output