[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Hygiene: Remove the unused mobile.mixins file

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/363016 )

Change subject: Hygiene: Remove the unused mobile.mixins file
..


Hygiene: Remove the unused mobile.mixins file

Change-Id: Icdd14ecccaa1efa753aa6bb479744c48d5c8ec6d
---
D mobile.less/mobile.mixins.less
1 file changed, 0 insertions(+), 4 deletions(-)

Approvals:
  Bmansurov: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/mobile.less/mobile.mixins.less b/mobile.less/mobile.mixins.less
deleted file mode 100644
index d81c91d..000
--- a/mobile.less/mobile.mixins.less
+++ /dev/null
@@ -1,4 +0,0 @@
-@import 'mediawiki.mixins.animation';
-@import 'mediawiki.mixins.less';
-
-// FIXME: Do not add anything to this file. It is temporary until all usages 
have been removed.
\ No newline at end of file

-- 
To view, visit https://gerrit.wikimedia.org/r/363016
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Icdd14ecccaa1efa753aa6bb479744c48d5c8ec6d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson 
Gerrit-Reviewer: Bmansurov 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Hygiene: Remove the unused mobile.mixins file

[Jdlrobson (Code Review)]

Jdlrobson has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/363016 )

Change subject: Hygiene: Remove the unused mobile.mixins file
..

Hygiene: Remove the unused mobile.mixins file

Change-Id: Icdd14ecccaa1efa753aa6bb479744c48d5c8ec6d
---
D mobile.less/mobile.mixins.less
1 file changed, 0 insertions(+), 4 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend 
refs/changes/16/363016/1

diff --git a/mobile.less/mobile.mixins.less b/mobile.less/mobile.mixins.less
deleted file mode 100644
index d81c91d..000
--- a/mobile.less/mobile.mixins.less
+++ /dev/null
@@ -1,4 +0,0 @@
-@import 'mediawiki.mixins.animation';
-@import 'mediawiki.mixins.less';
-
-// FIXME: Do not add anything to this file. It is temporary until all usages 
have been removed.
\ No newline at end of file

-- 
To view, visit https://gerrit.wikimedia.org/r/363016
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Icdd14ecccaa1efa753aa6bb479744c48d5c8ec6d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits