wikimedia/mediawiki-extensions-WikiEditor

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 08:14:33 +00:00

Commit graph

Author	SHA1	Message	Date
Derk-Jan Hartman	10583ec1a7	Avoid flash of content when hiding editHelp and the pipe separator Bug: T120408 Change-Id: I651ea3d2b891ce347a51be9b3bc3e34351bc53dc	2016-05-25 11:26:13 +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

Derk-Jan Hartman

10583ec1a7

Avoid flash of content when hiding editHelp and the pipe separator

Bug: T120408
Change-Id: I651ea3d2b891ce347a51be9b3bc3e34351bc53dc

2016-05-25 11:26:13 +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

2 commits