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 "Muted pages: Adjust config to not show missing titles"

Browse source
This commit is contained in:
jenkins-bot 2020-06-03 13:23:07 +00:00 committed by Gerrit Code Review
parent 3ec0c3325a fb21b0abef
commit ff5a72ca26
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/EchoHooks.php
View file

@ -513,6 +513,7 @@ class EchoHooks {
'type' => 'titlesmultiselect',
'label-message' => 'echo-pref-notifications-page-linked-title-muted-list',
'section' => 'echo/mutedpageslist',
'showMissing' => false,
'filter' => ( new MultiTitleFilter( new TitleFactory() ) )
];
}