[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: build: Update stylelint

2018-01-04 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/402066 ) Change subject: build: Update stylelint .. build: Update stylelint Change-Id: Id911ed1119d6b74c5fb61562505cf9aa3c33f82c --- M

[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: build: Update stylelint

2018-01-04 Thread Esanders (Code Review)
Esanders has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/402066 ) Change subject: build: Update stylelint .. build: Update stylelint Change-Id: Id911ed1119d6b74c5fb61562505cf9aa3c33f82c --- M

[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: build: Update stylelint to 0.4.1

2017-03-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/343644 ) Change subject: build: Update stylelint to 0.4.1 .. build: Update stylelint to 0.4.1 Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: build: Update stylelint to 0.4.1

2017-03-20 Thread Esanders (Code Review)
Esanders has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/343644 ) Change subject: build: Update stylelint to 0.4.1 .. build: Update stylelint to 0.4.1 Change-Id: If52104b96cb1cbd39caf9e892db3df4fa59b04c4