[MediaWiki-commits] [Gerrit] mediawiki...CodeMirror[master]: Change popup label colour to green

2017-09-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377376 ) Change subject: Change popup label colour to green .. Change popup label colour to green This is to stop it looking so much lik

[MediaWiki-commits] [Gerrit] mediawiki...CodeMirror[master]: Change popup label colour to green

2017-09-11 Thread Samwilson (Code Review)
Samwilson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/377376 ) Change subject: Change popup label colour to green .. Change popup label colour to green This is to stop it looking so much like a link t