mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-12-01 00:56:26 +00:00
4dbde4dcf0
The abusefilter-warning prefix is reserved for filter warnings. Pointed out by Matěj. Change-Id: I169e4c3d29b08c7f5af2136a683fc4427f8e93f5
23 lines
509 B
PHP
23 lines
509 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\AbuseFilter\Parser;
|
|
|
|
use Message;
|
|
|
|
/**
|
|
* A variant of user-visible exception that is not fatal.
|
|
*/
|
|
class UserVisibleWarning extends AFPUserVisibleException {
|
|
/**
|
|
* @return Message
|
|
*/
|
|
public function getMessageObj() : Message {
|
|
// Give grep a chance to find the usages:
|
|
// abusefilter-parser-warning-match-empty-regex
|
|
return new Message(
|
|
'abusefilter-parser-warning-' . $this->mExceptionID,
|
|
array_merge( [ $this->mPosition ], $this->mParams )
|
|
);
|
|
}
|
|
}
|