wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-27 23:40:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug 24167

Browse source
This commit is contained in:
Andrew Garrett 2010-06-28 20:10:09 +00:00
parent 3e10446ba6
commit c7f1b42b9e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
AbuseFilter.class.php
View file

@ -644,7 +644,7 @@ class AbuseFilter {
if ( !empty( $actions['warn'] ) ) {
$parameters = $actions['warn']['parameters'];
$warnKey = 'abusefilter-warned-' . $title->getPrefixedText();
$warnKey = 'abusefilter-warned-' . $title->getPrefixedText() . '-' . $filter;
if ( !isset( $_SESSION[$warnKey] ) || !$_SESSION[$warnKey] ) {
$_SESSION[$warnKey] = true;