diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-02-19 00:49:39 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-02-19 00:49:39 +0000 |
| commit | c6e95112662d317234e3c3c8fdd6d4dcdd9803a6 (patch) | |
| tree | 9a83486dd9c19f0afe9639acd7a1cd108b0457b0 /includes/htmlform | |
| parent | a15d1f4b72fd926f30bd6627bdc356f2a653eae1 (diff) | |
| parent | 28dd5776673f8f74978cb90f772139e49fb77724 (diff) | |
| download | mediawikicore-c6e95112662d317234e3c3c8fdd6d4dcdd9803a6.tar.gz mediawikicore-c6e95112662d317234e3c3c8fdd6d4dcdd9803a6.zip | |
Merge "Add dropdown menu to "Tag filter" fields"
Diffstat (limited to 'includes/htmlform')
| -rw-r--r-- | includes/htmlform/fields/HTMLTagFilter.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/includes/htmlform/fields/HTMLTagFilter.php b/includes/htmlform/fields/HTMLTagFilter.php index 91ec92dd43e3..dcdce17af4e1 100644 --- a/includes/htmlform/fields/HTMLTagFilter.php +++ b/includes/htmlform/fields/HTMLTagFilter.php @@ -49,4 +49,8 @@ class HTMLTagFilter extends HTMLFormField { } return ''; } + + protected function shouldInfuseOOUI() { + return true; + } } |