jenkins-bot has submitted this change and it was merged.
Change subject: Change toolbar button to mw-ui-progressive.
......................................................................
Change toolbar button to mw-ui-progressive.
* mw-ui-primary is deprecated.
* mw-ui-progressive is semantically correct since it starts a flow
rather than finishing a process (i.e. click and done).
* Coincidentally, this looks the same as primary.
Change-Id: I4d484fe297a316a34e5250986356964b3d3a33d8
---
M resources/ext.gettingstarted.taskToolbar.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Swalling: Looks good to me, but someone else must approve
Phuedx: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/ext.gettingstarted.taskToolbar.js
b/resources/ext.gettingstarted.taskToolbar.js
index a232d2b..1e781b5 100644
--- a/resources/ext.gettingstarted.taskToolbar.js
+++ b/resources/ext.gettingstarted.taskToolbar.js
@@ -51,7 +51,7 @@
} ).text( mw.message( toolbarInfo.description ).text() );
$showGuide = $( '<a>' ).attr( {
- 'class': 'mw-ui-button mw-ui-primary
mw-gettingstarted-toolbar-show-guiders',
+ 'class': 'mw-ui-button mw-ui-progressive
mw-gettingstarted-toolbar-show-guiders',
title: mw.message(
'gettingstarted-task-toolbar-editing-help-title' ).text()
} ).text( mw.message(
'gettingstarted-task-toolbar-editing-help-text' ).text() )
.click( function ( evt ) {
--
To view, visit https://gerrit.wikimedia.org/r/111345
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4d484fe297a316a34e5250986356964b3d3a33d8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GettingStarted
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <mflasc...@wikimedia.org>
Gerrit-Reviewer: Mattflaschen <mflasc...@wikimedia.org>
Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: Phuedx <g...@samsmith.io>
Gerrit-Reviewer: Swalling <swall...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
