Merge "Remove unused messages 'edit-externally' and 'edit-externally-help'"
[mediawiki.git] / includes / logging / 
tree847ff0304b718deea63e7003c3f78697529d57c6
drwxr-xr-x   ..
-rw-r--r-- 6368 DeleteLogFormatter.php
-rw-r--r-- 13532 LogEntry.php
-rw-r--r-- 19241 LogEventsList.php
-rw-r--r-- 24108 LogFormatter.php
-rw-r--r-- 17278 LogPage.php
-rw-r--r-- 10968 LogPager.php
-rw-r--r-- 2594 MoveLogFormatter.php
-rw-r--r-- 2188 NewUsersLogFormatter.php
-rw-r--r-- 2421 PatrolLog.php
-rw-r--r-- 1878 PatrolLogFormatter.php
-rw-r--r-- 3345 RightsLogFormatter.php