mediawiki.ui: Update mw-ui-input padding/line-height to match OOUI
[lhc/web/wiklou.git] / includes / profiler /
drwxr-xr-x   ..
-rw-r--r-- 1524 ProfileSection.php
-rw-r--r-- 8245 Profiler.php
-rw-r--r-- 3025 ProfilerSectionOnly.php
-rw-r--r-- 1206 ProfilerStub.php
-rw-r--r-- 7123 ProfilerXhprof.php
-rw-r--r-- 14733 SectionProfiler.php
drwxr-xr-x - output