dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
0148939
)
Merge "RCFilters UI: Make the 'no results' message bold"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Mar 2017 19:30:35 +0000
(19:30 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Wed, 22 Mar 2017 19:30:35 +0000
(19:30 +0000)
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.ChangesListWrapperWidget.less
patch
|
blob
|
history
resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.ChangesListWrapperWidget.js
patch
|
blob
|
history
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
(file)
--- 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
(file)
--- 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() )
);
}