Mooeypoo has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/344022 )
Change subject: RCFilters UI: Make the 'no results' message bold
......................................................................
RCFilters UI: Make the 'no results' message bold
Bug: T160935
Change-Id: I237c81abfbd50e910e428cc495e38f3d364500e0
---
M
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
M
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js
2 files changed, 3 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/22/344022/1
diff --git
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
index 29c3ed1..402f0ad 100644
---
a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
+++
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
@@ -4,6 +4,8 @@
&-results {
width: 35em;
margin: 5em auto;
+
+ &-noresult,
&-conflict {
font-weight: bold;
margin-bottom: 0.5em;
diff --git
a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js
b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js
index ec2ebe0..c7e6961 100644
---
a/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js
+++
b/resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js
@@ -113,6 +113,7 @@
$message
.append(
$( '<div>' )
+ .addClass(
'mw-rcfilters-ui-changesListWrapperWidget-results-noresult' )
.text( mw.message(
'recentchanges-noresult' ).text() )
);
}
--
To view, visit https://gerrit.wikimedia.org/r/344022
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I237c81abfbd50e910e428cc495e38f3d364500e0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Mooeypoo <mor...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
