wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make preferences button in auto-subscription popup more obviously clickable

Browse source 
Bug: T295946
Change-Id: I3d30a91a2f4497bd5e222a507bdba853e8269162
This commit is contained in:
Bartosz Dziewoński 2021-12-16 00:43:56 +01:00
parent d2443f7785
commit a89d6ca445
3 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
i18n/en.json
View file

@ -5,7 +5,7 @@
"discussiontools": "Discussion tools",
"discussiontools-autotopicsubpopup-body": "You will receive a notification when someone posts a new comment in this discussion. You can adjust your notifications settings in preferences.",
"discussiontools-autotopicsubpopup-dismiss": "Okay, I got it",
"discussiontools-autotopicsubpopup-preferences": "Preferences",
"discussiontools-autotopicsubpopup-preferences": "Edit preferences",
"discussiontools-autotopicsubpopup-title": "You have been subscribed",
"discussiontools-defaultsummary-reply": "Reply",
"discussiontools-desc": "Tools to enhance discussion pages.",

1
modules/controller.js
View file

@ -356,6 +356,7 @@ function maybeShowFirstTimeAutoTopicSubPopup() {
.append( new OO.ui.ButtonWidget( {
label: mw.msg( 'discussiontools-autotopicsubpopup-preferences' ),
href: mw.util.getUrl( 'Special:Preferences#mw-prefsection-editing-discussion' ),
flags: [ 'progressive' ],
framed: false
} ).$element )
);

7
modules/dt.init.less
View file

@ -276,17 +276,20 @@ span[ data-mw-comment-start ] {
top: 0;
right: 0;
height: 100%;
z-index: 1;
}
&-body {
margin-bottom: 1em;
margin-top: 1em;
margin-right: 200px;
}
&-title,
&-body,
&-actions {
margin-right: 200px;
margin-right: 150px;
position: relative;
z-index: 2;
}
}