jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/369440 )
Change subject: Use LESS instead of CSS
......................................................................
Use LESS instead of CSS
Change-Id: I0346e81e452898a88ab9e0d71162d19f75587194
---
M view/resources/wikibase/resources.php
R view/resources/wikibase/wikibase.less
2 files changed, 1 insertion(+), 1 deletion(-)
Approvals:
WMDE-leszek: Looks good to me, approved
jenkins-bot: Verified
diff --git a/view/resources/wikibase/resources.php
b/view/resources/wikibase/resources.php
index 253e564..07889bf 100644
--- a/view/resources/wikibase/resources.php
+++ b/view/resources/wikibase/resources.php
@@ -23,7 +23,7 @@
'position' => 'top',
'styles' => [
// Order must be hierarchical, do not order
alphabetically
- 'wikibase.css',
+ 'wikibase.less',
'../jquery/wikibase/themes/default/jquery.wikibase.aliasesview.css',
'../jquery/wikibase/themes/default/jquery.wikibase.descriptionview.css',
'../jquery/wikibase/themes/default/jquery.wikibase.entityview.css',
diff --git a/view/resources/wikibase/wikibase.css
b/view/resources/wikibase/wikibase.less
similarity index 100%
rename from view/resources/wikibase/wikibase.css
rename to view/resources/wikibase/wikibase.less
--
To view, visit https://gerrit.wikimedia.org/r/369440
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0346e81e452898a88ab9e0d71162d19f75587194
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Aleksey Bekh-Ivanov (WMDE) <[email protected]>
Gerrit-Reviewer: Fomafix <[email protected]>
Gerrit-Reviewer: Jakob <[email protected]>
Gerrit-Reviewer: Jonas Kress (WMDE) <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
