wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-27 17:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use HTMLTitleTextField on SpecialLintErrors

Browse source 
This gives autocomplete on the special page

Change-Id: Ic29cf4c16886609c6689c66aff6ebc28a20879ea
This commit is contained in:
Umherirrender 2022-02-12 21:05:23 +01:00
parent 4d32d7c32c
commit ba6b0db292
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
includes/SpecialLintErrors.php
View file

@ -72,12 +72,11 @@ class SpecialLintErrors extends SpecialPage {
protected function showPageNameFilterForm() {
$fields = [
'pagename' => [
'type' => 'text',
'type' => 'title',
'name' => 'pagename',
'label-message' => 'linter-pager-title-header',
'default' => '',
'id' => 'pagename',
'size' => 255,
'exists' => true,
'required' => false,
]
];
$form = HTMLForm::factory( 'ooui', $fields, $this->getContext() );