jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/365082 )
Change subject: Add icon to example button in header toolbar
......................................................................
Add icon to example button in header toolbar
Change-Id: I97f237f68f5b98e42d85595f5a288f317226af54
---
M index.html
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Lucas Werkmeister (WMDE): Looks good to me, approved
jenkins-bot: Verified
diff --git a/index.html b/index.html
index 7e3e6ca..4fab6e6 100644
--- a/index.html
+++ b/index.html
@@ -52,7 +52,8 @@
<div class="collapse navbar-collapse"
id="header-navbar-collapse">
<ul class="nav navbar-nav">
<li>
- <button type="button"
class="btn navbar-btn btn-default" data-toggle="modal"
data-target="#QueryExamples" data-i18n="wdqs-app-button-examples">
+ <button type="button"
class="btn navbar-btn btn-default" data-toggle="modal"
data-target="#QueryExamples">
+ <span class="fa
fa-folder-open-o"></span> <span data-i18n="wdqs-app-button-examples"></span>
</button>
</li>
<li class="dropdown"><a
class="dropdown-toggle" data-toggle="dropdown" role="button"
aria-haspopup="true" aria-expanded="false">
--
To view, visit https://gerrit.wikimedia.org/r/365082
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I97f237f68f5b98e42d85595f5a288f317226af54
Gerrit-PatchSet: 2
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <[email protected]>
Gerrit-Reviewer: Lucas Werkmeister (WMDE) <[email protected]>
Gerrit-Reviewer: Smalyshev <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
