Implement extension registration from an extension.json file
[mediawiki.git] / includes / profiler / 
treebfa7be5cc90f95a458ad077d263cb820996b6215
drwxr-xr-x   ..
-rw-r--r-- 1999 ProfileSection.php
-rw-r--r-- 6960 Profiler.php
-rw-r--r-- 2225 ProfilerFunctions.php
-rw-r--r-- 1285 ProfilerStub.php
-rw-r--r-- 6553 ProfilerXhprof.php
-rw-r--r-- 15117 SectionProfiler.php
-rw-r--r-- 5331 TransactionProfiler.php
drwxr-xr-x - output