wikimedia/mediawiki-extensions-WikiEditor

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-03 20:37:28 +00:00

Commit graph

Author	SHA1	Message	Date
Ed Sanders	7eed707a48	Replace jshint/jscs with eslint/stylelint Change-Id: Ife5e782bd5513e0496e384655b9b203de5c841a5	2016-11-21 21:02:38 +00:00
Fomafix	465d411536	Rework color definitions in LESS * Use #rgb instead of #rrggbb where possible. * Use lower case letters. Change-Id: I390bf23d44bc2d78eb1d2185fd89b94297d1f05f	2015-04-14 21:39:04 +00:00
paladox	3f692d9e15	Convert .css to .less * This patch convert .css to .less * Semantic changes are avoided, but there are minor tweaks such as capitalization and ordering. Change-Id: Iebff0f8e3d87bb792093a10d87f33540aca301d5	2015-03-09 21:24:23 -04:00

Author

SHA1

Message

Date

Ed Sanders

7eed707a48

Replace jshint/jscs with eslint/stylelint

Change-Id: Ife5e782bd5513e0496e384655b9b203de5c841a5

2016-11-21 21:02:38 +00:00

Fomafix

465d411536

Rework color definitions in LESS

* Use #rgb instead of #rrggbb where possible.
* Use lower case letters.

Change-Id: I390bf23d44bc2d78eb1d2185fd89b94297d1f05f

2015-04-14 21:39:04 +00:00

paladox

3f692d9e15

Convert .css to .less

* This patch convert .css to .less
* Semantic changes are avoided, but there are minor
  tweaks such as capitalization and ordering.

Change-Id: Iebff0f8e3d87bb792093a10d87f33540aca301d5

2015-03-09 21:24:23 -04:00

3 commits