jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/358070 )
Change subject: Better support for Echo extension in Truglass's interface
......................................................................
Better support for Echo extension in Truglass's interface
Change-Id: I53d50c9e479b452770850d1bd0a0e940c9433e92
---
M skin.json
A truglass/echo.badge.css
2 files changed, 17 insertions(+), 1 deletion(-)
Approvals:
Jack Phoenix: Looks good to me, approved
jenkins-bot: Verified
diff --git a/skin.json b/skin.json
index dac92f5..af740d7 100644
--- a/skin.json
+++ b/skin.json
@@ -1,6 +1,6 @@
{
"name": "Truglass",
- "version": "4.1.5",
+ "version": "4.1.6",
"author": [
"Elliott Franklin Cable",
"Jack Phoenix",
@@ -44,6 +44,7 @@
},
"ResourceModuleSkinStyles": {
"truglass": {
+ "+ext.echo.styles.badge": "truglass/echo.badge.css",
"+mediawiki.special.preferences.styles":
"truglass/special.preferences.styles.css"
}
},
diff --git a/truglass/echo.badge.css b/truglass/echo.badge.css
new file mode 100644
index 0000000..f1b131f
--- /dev/null
+++ b/truglass/echo.badge.css
@@ -0,0 +1,15 @@
+/* Lazy fix for the Echo extension icons in the personal tools area to stop
+ * them from messing up the whole #ptools
+ */
+#ptools li#pt-notifications-alert,
+#ptools li#pt-notifications-notice {
+ display: inline-block;
+}
+
+#pt-notifications-alert .mw-echo-notifications-badge:after,
+#pt-notifications-notice .mw-echo-notifications-badge:after {
+ border-radius: .25em;
+ font-size: 1em;
+ text-shadow: none;
+ padding: .25em .5em;
+}
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/358070
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I53d50c9e479b452770850d1bd0a0e940c9433e92
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/skins/Truglass
Gerrit-Branch: master
Gerrit-Owner: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: SamanthaNguyen <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
