[MediaWiki-commits] [Gerrit] Add tooltip to annotation indicator - change (mediawiki...CodeEditor)

2015-05-25 Thread TheDJ (Code Review)
TheDJ has uploaded a new change for review. https://gerrit.wikimedia.org/r/213493 Change subject: Add tooltip to annotation indicator .. Add tooltip to annotation indicator In the past I had made the annotation indicators

[MediaWiki-commits] [Gerrit] Add tooltip to annotation indicator - change (mediawiki...CodeEditor)

2015-05-25 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Add tooltip to annotation indicator .. Add tooltip to annotation indicator In the past I had made the annotation indicators clickable, and your cursor