Remove unused variable in ProfilerMwprof
[mediawiki.git] / docs / uidesign / 
treee9e40a0d4e2db5022ed5504b28e53a2ff82c05f7
drwxr-xr-x   ..
-rw-r--r-- 2183 child-selector-emu.html
-rw-r--r-- 6570 confirmable.html
-rw-r--r-- 1007 design.html
-rw-r--r-- 1978 mediawiki.action.history.diff.html
-rw-r--r-- 1833 monospace.html
-rw-r--r-- 1166 table-layout.html