Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / filebackend / filejournal / 
tree74b12c8835437ccd4f3c0f3c916c9cb6207e6c05
drwxr-xr-x   ..
-rw-r--r-- 4793 DBFileJournal.php
-rw-r--r-- 6744 FileJournal.php