jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372175 )
Change subject: Hygiene: Remove unnecessary Less vars
......................................................................
Hygiene: Remove unnecessary Less vars
Removing unnecessary Less vars, which are not in use any more.
Change-Id: I716595d8c50f70f443856b61b9350d8748a43b4f
---
M resources/mobile.languages.structured/LanguageOverlay.less
M resources/mobile.pagelist.styles/pagelist.less
M resources/mobile.special.mobilediff.styles/mobilediff.less
M resources/mobile.special.pagefeed.styles/pagefeed.less
4 files changed, 0 insertions(+), 12 deletions(-)
Approvals:
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
diff --git a/resources/mobile.languages.structured/LanguageOverlay.less
b/resources/mobile.languages.structured/LanguageOverlay.less
index 8f4825e..506b2ed 100644
--- a/resources/mobile.languages.structured/LanguageOverlay.less
+++ b/resources/mobile.languages.structured/LanguageOverlay.less
@@ -1,7 +1,5 @@
@import 'mobile.variables';
-@langMinWidth: 3.2em;
-
.language-overlay {
background-color: @colorGray14;
diff --git a/resources/mobile.pagelist.styles/pagelist.less
b/resources/mobile.pagelist.styles/pagelist.less
index c72688a..c76bb48 100644
--- a/resources/mobile.pagelist.styles/pagelist.less
+++ b/resources/mobile.pagelist.styles/pagelist.less
@@ -5,9 +5,6 @@
@thumbGap: 15px;
@thumbWidth: 70px;
@thumbSpace: @thumbWidth + @thumbGap;
-@thumbOverlayWidth: 40px;
-@thumbOverlaySpace: @thumbOverlayWidth + @thumbGap;
-@pageSummaryHeaderColor: #404040;
// Pages
//
diff --git a/resources/mobile.special.mobilediff.styles/mobilediff.less
b/resources/mobile.special.mobilediff.styles/mobilediff.less
index 3666d61..8072b76 100644
--- a/resources/mobile.special.mobilediff.styles/mobilediff.less
+++ b/resources/mobile.special.mobilediff.styles/mobilediff.less
@@ -1,8 +1,5 @@
@import 'mobile.variables';
-@userinfoBackgroundColor: #f0f0f0;
-@userinfoBorderColor: #c0c0c0;
-@diffDateColor: #c6c6c6;
// includes padding as well as enough space for 2 lines of user groups
@userInfoHeight: 8em;
@userInfoPadding: 1em;
diff --git a/resources/mobile.special.pagefeed.styles/pagefeed.less
b/resources/mobile.special.pagefeed.styles/pagefeed.less
index d5671d6..17d791f 100644
--- a/resources/mobile.special.pagefeed.styles/pagefeed.less
+++ b/resources/mobile.special.pagefeed.styles/pagefeed.less
@@ -1,9 +1,5 @@
@import 'mobile.variables';
-@pageHeaderBarBorderColor: #e2e2e2;
-@watchlistSelectorBorderColor: #e2e2e2;
-@watchlistSelectorLinkColor: #58595b;
-
// FIXME [mediawiki ui] These rules should not be needed and are specifically
for Watchlist
// This should use another MediaWiki UI widget
.content-header .mw-ui-button-group {
--
To view, visit https://gerrit.wikimedia.org/r/372175
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I716595d8c50f70f443856b61b9350d8748a43b4f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Pmiazga <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
