jenkins-bot has submitted this change and it was merged.
Change subject: Editor: use regular size buttons
......................................................................
Editor: use regular size buttons
There is no special need to use big buttons here.
Bug: T146134
Change-Id: I9d67b0b4ab3d8065eb35db1dfb6e580aee0e5507
---
M resources/js/ext.translate.editor.js
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
KartikMistry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/js/ext.translate.editor.js
b/resources/js/ext.translate.editor.js
index 1a6eea2..fc57a3d 100644
--- a/resources/js/ext.translate.editor.js
+++ b/resources/js/ext.translate.editor.js
@@ -751,7 +751,7 @@
$saveButton = $( '<button>' )
.prop( 'disabled', true )
- .addClass( 'tux-editor-save-button
mw-ui-button mw-ui-progressive mw-ui-big' )
+ .addClass( 'tux-editor-save-button
mw-ui-button mw-ui-progressive' )
.text( mw.msg(
'tux-editor-save-button-label' ) )
.on( 'click', function ( e ) {
translateEditor.save();
@@ -787,7 +787,7 @@
}
$skipButton = $( '<button>' )
- .addClass( 'tux-editor-skip-button mw-ui-button
mw-ui-quiet mw-ui-big' )
+ .addClass( 'tux-editor-skip-button mw-ui-button
mw-ui-quiet' )
.text( mw.msg( 'tux-editor-skip-button-label' )
)
.on( 'click', function ( e ) {
translateEditor.skip();
@@ -802,7 +802,7 @@
// This appears instead of "Skip" on the last message
on the page
$cancelButton = $( '<button>' )
- .addClass( 'tux-editor-cancel-button
mw-ui-button mw-ui-quiet mw-ui-big' )
+ .addClass( 'tux-editor-cancel-button
mw-ui-button mw-ui-quiet' )
.text( mw.msg( 'tux-editor-cancel-button-label'
) )
.on( 'click', function ( e ) {
translateEditor.skip();
--
To view, visit https://gerrit.wikimedia.org/r/312036
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9d67b0b4ab3d8065eb35db1dfb6e580aee0e5507
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: KartikMistry <[email protected]>
Gerrit-Reviewer: Santhosh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
