mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-27 23:40:19 +00:00
714735ff6b
That line isn't needed anymore and totally prevents from changing page. Bug: T191512 Change-Id: Ib29719d6eb3155318b3db0f60d9c9d55e944b4a4 |
||
---|---|---|
.. | ||
api | ||
pagers | ||
parser | ||
special | ||
Views | ||
AbuseFilter.php | ||
AbuseFilterChangesList.php | ||
AbuseFilterHooks.php | ||
AbuseFilterModifyLogFormatter.php | ||
AbuseFilterPreAuthenticationProvider.php | ||
AbuseFilterVariableHolder.php | ||
AbuseLogHitFormatter.php | ||
AFComputedVariable.php | ||
TableDiffFormatterFullContext.php |