subject:"\[MediaWiki\-commits\] \[Gerrit\] SelectWidget\: Prevent mouse highlighting while typing\-to\-select \- change \(oojs\/ui\)"

[MediaWiki-commits] [Gerrit] SelectWidget: Prevent mouse highlighting while typing-to-select - change (oojs/ui)

2016-02-16 Thread jenkins-bot (Code Review)

jenkins-bot has submitted this change and it was merged. Change subject: SelectWidget: Prevent mouse highlighting while typing-to-select .. SelectWidget: Prevent mouse highlighting while typing-to-select Chromium's Blink

[MediaWiki-commits] [Gerrit] SelectWidget: Prevent mouse highlighting while typing-to-select - change (oojs/ui)

2016-02-08 Thread Code Review

Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/269157 Change subject: SelectWidget: Prevent mouse highlighting while typing-to-select .. SelectWidget: Prevent mouse highlighting while