Merge "Remove "Misc" tab from Special:Preferences"
[mediawiki.git] / includes / logging / 
treeec6c7ba31a9dfc9cd3729daa0cb57826a5d4f14e
drwxr-xr-x   ..
-rw-r--r-- 6256 DeleteLogFormatter.php
-rw-r--r-- 13312 LogEntry.php
-rw-r--r-- 19092 LogEventsList.php
-rw-r--r-- 23939 LogFormatter.php
-rw-r--r-- 16857 LogPage.php
-rw-r--r-- 11341 LogPager.php
-rw-r--r-- 2590 MoveLogFormatter.php
-rw-r--r-- 2185 NewUsersLogFormatter.php
-rw-r--r-- 2422 PatrolLog.php
-rw-r--r-- 1876 PatrolLogFormatter.php
-rw-r--r-- 3344 RightsLogFormatter.php