jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/364173 )
Change subject: BSAboutBlueSpice: Changed icon to bluespice-logo font #6773
......................................................................
BSAboutBlueSpice: Changed icon to bluespice-logo font #6773
Change-Id: I031bc53e47016483d18ceb087a6758efb107f017
---
M AboutBlueSpice/AboutBlueSpice.class.php
M AboutBlueSpice/resources/bluespice.aboutbluespice.css
2 files changed, 3 insertions(+), 3 deletions(-)
Approvals:
Robert Vogel: Looks good to me, approved
jenkins-bot: Verified
diff --git a/AboutBlueSpice/AboutBlueSpice.class.php
b/AboutBlueSpice/AboutBlueSpice.class.php
index 1d80044..99f3b5b 100644
--- a/AboutBlueSpice/AboutBlueSpice.class.php
+++ b/AboutBlueSpice/AboutBlueSpice.class.php
@@ -78,7 +78,7 @@
'id' => 'bs-admin-aboutbluespice',
'href' => $oSpecialPage->getLocalURL(),
'title' => wfMessage(
'bs-aboutbluespice-about-bluespice' )->plain(),
- 'class' => 'bs-admin-link bs-icon-info'
+ 'class' => 'bs-admin-link
icon-bluespice-logo'
),
wfMessage( 'bs-aboutbluespice-about-bluespice'
)->plain()
);
diff --git a/AboutBlueSpice/resources/bluespice.aboutbluespice.css
b/AboutBlueSpice/resources/bluespice.aboutbluespice.css
index a666ce5..c47a74b 100644
--- a/AboutBlueSpice/resources/bluespice.aboutbluespice.css
+++ b/AboutBlueSpice/resources/bluespice.aboutbluespice.css
@@ -1,5 +1,5 @@
#bs-nav-sections #n-aboutbluespice .icon24::before {
- content: "\e9bf";
- font-family: "entypo" !important;
+ font-family: 'bluespice-logo' !important;
+ content: "\e900";
}
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/364173
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I031bc53e47016483d18ceb087a6758efb107f017
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: master
Gerrit-Owner: Pwirth <[email protected]>
Gerrit-Reviewer: Robert Vogel <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
