1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
<?php
namespace MediaWiki\Extension\AbuseFilter\EditBox;
use MediaWiki\Html\Html;
/**
* Class responsible for building a plain text filter edit box
*/
class PlainEditBoxBuilder extends EditBoxBuilder {
/**
* @inheritDoc
*/
public function getEditBox( string $rules, bool $isUserAllowed, bool $externalForm ): string {
$rules = rtrim( $rules ) . "\n";
$editorAttribs = [
'name' => 'wpFilterRules',
'id' => 'wpFilterRules',
// Rules are in English
'dir' => 'ltr',
'cols' => 40,
'rows' => 15,
];
if ( !$isUserAllowed ) {
$editorAttribs['readonly'] = 'readonly';
}
if ( $externalForm ) {
$editorAttribs['form'] = 'wpFilterForm';
}
return Html::element( 'textarea', $editorAttribs, $rules );
}
}
|
