wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "SpecialDisplayNotificationsConfiguration: Use OOUI checkboxes"

Browse source
This commit is contained in:
jenkins-bot 2021-07-27 18:32:18 +00:00 committed by Gerrit Code Review
parent 2ed45e91c2 b826dd263c
commit 0364d96af3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/special/SpecialDisplayNotificationsConfiguration.php
View file

@ -143,7 +143,7 @@ class SpecialDisplayNotificationsConfiguration extends UnlistedSpecialPage {
array $columnLabelMapping,
array $value
) {
$form = new HTMLForm(
$form = new OOUIHTMLForm(
[
$id => [
'type' => 'checkmatrix',