wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 11:19:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
1214 commits 162 branches 6 tags 32 MiB
Commit graph

2 commits

Author SHA1 Message Date
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