wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-23 18:38:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Filter username suggestions to accounts with edits"

Browse source
This commit is contained in:
jenkins-bot 2022-01-08 01:33:33 +00:00 committed by Gerrit Code Review
parent c3d54ec8a5 423983f26e
commit e9155afea6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/dt-ve/dt.ui.UsernameCompletionAction.js
View file

@ -103,6 +103,7 @@ MWUsernameCompletionAction.prototype.getSuggestions = function ( input ) {
list: 'allusers',
auprefix: input,
auprop: 'blockinfo',
auwitheditsonly: 1,
// Fetch twice as many results as we need so we can filter
// blocked users and still probably have some suggestions left
aulimit: this.constructor.static.defaultLimit * 2