[MediaWiki-commits] [Gerrit] mediawiki...Translate[master]: Rename group selector from css to less

[jenkins-bot (Code Review)]

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

Change subject: Rename group selector from css to less
..


Rename group selector from css to less

Change-Id: Ib629055ffaa1ee41aee07fc8b04fb172b2d8f735
---
M Resources.php
R resources/css/ext.translate.groupselector.less
2 files changed, 1 insertion(+), 1 deletion(-)

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



diff --git a/Resources.php b/Resources.php
index 0304fbe..f1d7396 100644
--- a/Resources.php
+++ b/Resources.php
@@ -122,7 +122,7 @@
 ] + $resourcePaths;
 
 $wgResourceModules['ext.translate.groupselector'] = [
-   'styles' => 'resources/css/ext.translate.groupselector.css',
+   'styles' => 'resources/css/ext.translate.groupselector.less',
'scripts' => 'resources/js/ext.translate.groupselector.js',
'position' => 'top',
'dependencies' => [
diff --git a/resources/css/ext.translate.groupselector.css 
b/resources/css/ext.translate.groupselector.less
similarity index 100%
rename from resources/css/ext.translate.groupselector.css
rename to resources/css/ext.translate.groupselector.less

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib629055ffaa1ee41aee07fc8b04fb172b2d8f735
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit 
Gerrit-Reviewer: KartikMistry 
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...Translate[master]: Rename group selector from css to less

[Nikerabbit (Code Review)]

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

Change subject: Rename group selector from css to less
..

Rename group selector from css to less

Change-Id: Ib629055ffaa1ee41aee07fc8b04fb172b2d8f735
---
M Resources.php
R resources/css/ext.translate.groupselector.less
2 files changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Translate 
refs/changes/00/400700/1

diff --git a/Resources.php b/Resources.php
index 0304fbe..f1d7396 100644
--- a/Resources.php
+++ b/Resources.php
@@ -122,7 +122,7 @@
 ] + $resourcePaths;
 
 $wgResourceModules['ext.translate.groupselector'] = [
-   'styles' => 'resources/css/ext.translate.groupselector.css',
+   'styles' => 'resources/css/ext.translate.groupselector.less',
'scripts' => 'resources/js/ext.translate.groupselector.js',
'position' => 'top',
'dependencies' => [
diff --git a/resources/css/ext.translate.groupselector.css 
b/resources/css/ext.translate.groupselector.less
similarity index 100%
rename from resources/css/ext.translate.groupselector.css
rename to resources/css/ext.translate.groupselector.less

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib629055ffaa1ee41aee07fc8b04fb172b2d8f735
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit 

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