Remove unused variable in ProfilerMwprof
[mediawiki.git] / resources / 
treefa5eb1a7286057f42a0f49079c49433918eafb35
drwxr-xr-x   ..
-rw-r--r-- 54368 Resources.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src