mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-09-25 11:16:25 +00:00
c957772a0d
* Prettify history titles. They're now Special:AbuseFilter/history/<filterid> * Prettify history *pages*. They now truncate the filters at a few hundred chars, and have links to open the individual history items in the editor, with a big boilerplate at the top and the bottom in case people forget. * Fix up the log a bit. <li> elements in the 'details' view were invalid XHTML, and very annoying... |
||
---|---|---|
db_patches | ||
parser_native | ||
AbuseFilter.alias.php | ||
AbuseFilter.class.php | ||
AbuseFilter.hooks.php | ||
AbuseFilter.i18n.php | ||
AbuseFilter.nativeparser.php | ||
AbuseFilter.parser.php | ||
AbuseFilter.php | ||
abusefilter.tables.pg.sql | ||
abusefilter.tables.sql | ||
edit.js | ||
install.php | ||
phpTest.php | ||
SpecialAbuseFilter.php | ||
SpecialAbuseLog.php |