RCFilters UI: Display 'no results found' if... no results were found!

[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / ui / mw.rcfilters.ui.FilterFloatingMenuSelectWidget.js

diff --git a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterFloatingMenuSelectWidget.js b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterFloatingMenuSelectWidget.js
index ec85df9..748eea8 100644 (file)
--- a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterFloatingMenuSelectWidget.js
+++ b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterFloatingMenuSelectWidget.js
@@ -45,11 +45,16 @@
                        }
                );
 
+               this.noResults = new OO.ui.LabelWidget( {
+                       label: mw.msg( 'rcfilters-filterlist-noresults' ),
+                       classes: [ 'mw-rcfilters-ui-filterFloatingMenuSelectWidget-noresults' ]
+               } );
+
                this.$element
                        .addClass( 'mw-rcfilters-ui-filterFloatingMenuSelectWidget' )
                        .append(
                                this.$body
-                                       .append( header.$element, this.$group )
+                                       .append( header.$element, this.$group, this.noResults.$element )
                        );
 
                if ( this.$footer ) {