Merge r82361 from 1.17wmf1 to trunk. This shuts up "Non-string key given" exceptions...
[lhc/web/wiklou.git] / includes / profiler /
drwxr-xr-x   ..
-rw-r--r-- 12983 Profiler.php
-rw-r--r-- 3404 ProfilerSimple.php
-rw-r--r-- 1415 ProfilerSimpleText.php
-rw-r--r-- 1943 ProfilerSimpleTrace.php
-rw-r--r-- 1506 ProfilerSimpleUDP.php
-rw-r--r-- 293 ProfilerStub.php