Jonas Kress (WMDE) has uploaded a new change for review. (
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(-)
git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/gui
refs/changes/82/365082/1
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: newchange
Gerrit-Change-Id: I97f237f68f5b98e42d85595f5a288f317226af54
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <jonas.kr...@wikimedia.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
