Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / profiler / 
tree29f540e41c06e30dec327d98a8947fdd9115d722
drwxr-xr-x   ..
-rw-r--r-- 13492 Profiler.php
-rw-r--r-- 7752 ProfilerMwprof.php
-rw-r--r-- 2857 ProfilerSimpleDB.php
-rw-r--r-- 2645 ProfilerSimpleText.php
-rw-r--r-- 2713 ProfilerSimpleTrace.php
-rw-r--r-- 2348 ProfilerSimpleUDP.php
-rw-r--r-- 15820 ProfilerStandard.php
-rw-r--r-- 1475 ProfilerStub.php