API: Allow extensions to specify "useless" query pages
[mediawiki.git] / includes / logging / 
treeab8a71b72a28e665cb2cc251a5bc238b2178c892
drwxr-xr-x   ..
-rw-r--r-- 6258 DeleteLogFormatter.php
-rw-r--r-- 13317 LogEntry.php
-rw-r--r-- 19056 LogEventsList.php
-rw-r--r-- 23939 LogFormatter.php
-rw-r--r-- 16862 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