mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 06:03:49 +00:00
edc347aee2
- mark properties as private (unused outside) and rename them to avoid legacy naming - do result filtering server-side - order query by timestamp Change-Id: If2d714753a2b040c5cefa8f8126f82a3c08dab44 |
||
---|---|---|
.. | ||
AbuseFilterView.php | ||
AbuseFilterViewDiff.php | ||
AbuseFilterViewEdit.php | ||
AbuseFilterViewExamine.php | ||
AbuseFilterViewHistory.php | ||
AbuseFilterViewImport.php | ||
AbuseFilterViewList.php | ||
AbuseFilterViewRevert.php | ||
AbuseFilterViewTestBatch.php | ||
AbuseFilterViewTools.php | ||
HideAbuseLog.php |