mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/TitleBlacklist
synced 2024-12-18 00:20:40 +00:00
843434f64d
Change-Id: I24d0b37d49337efd35d12adf6adbfc403e81fa50
23 lines
539 B
PHP
23 lines
539 B
PHP
<?php
|
|
|
|
use MediaWiki\Auth\AuthenticationRequest;
|
|
|
|
/**
|
|
* An authentication request that allows users with sufficiently high privileges to skip the
|
|
* title blacklist check.
|
|
*/
|
|
class TitleBlacklistAuthenticationRequest extends AuthenticationRequest {
|
|
public $ignoreTitleBlacklist;
|
|
|
|
public function getFieldInfo() {
|
|
return [
|
|
'ignoreTitleBlacklist' => [
|
|
'type' => 'checkbox',
|
|
'label' => wfMessage( 'titleblacklist-override' ),
|
|
'help' => wfMessage( 'titleblacklist-override-help' ),
|
|
'optional' => true,
|
|
],
|
|
];
|
|
}
|
|
}
|