diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-11-01 15:46:25 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-11-01 15:46:25 +0000 |
| commit | 08045dd3fba6f82503eb43fd8211122e2a4c6838 (patch) | |
| tree | 1e90329ca4f7de41cae7e8f44436bd7f5bdcd682 | |
| parent | 4a9787e682d916a7612dfd1cb0f3376dc28c37b4 (diff) | |
| parent | 00f2cd7eb3e75f47f2db2549f8daed24e1138780 (diff) | |
| download | mediawikicore-08045dd3fba6f82503eb43fd8211122e2a4c6838.tar.gz mediawikicore-08045dd3fba6f82503eb43fd8211122e2a4c6838.zip | |
Merge "UserInputWidget: Don't autocomplete if only IPs are accepted"
| -rw-r--r-- | resources/src/mediawiki.widgets/mw.widgets.UserInputWidget.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/resources/src/mediawiki.widgets/mw.widgets.UserInputWidget.js b/resources/src/mediawiki.widgets/mw.widgets.UserInputWidget.js index bf3f16515de9..ccf429ce7ff4 100644 --- a/resources/src/mediawiki.widgets/mw.widgets.UserInputWidget.js +++ b/resources/src/mediawiki.widgets/mw.widgets.UserInputWidget.js @@ -40,6 +40,12 @@ // Initialization this.$element.addClass( 'mw-widget-userInputWidget' ); this.lookupMenu.$element.addClass( 'mw-widget-userInputWidget-menu' ); + + // Disable autocompletion if this widget only accepts IPs or IP ranges, + // since the allusers API won't yield results in this case. + if ( this.excludeNamed && this.excludeTemp ) { + this.setLookupsDisabled( true ); + } }; /* Setup */ |