[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Make dotdotdot menu not be extremely wide

2016-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Make dotdotdot menu not be extremely wide .. Make dotdotdot menu not be extremely wide Work around new styles introduced in oojs-ui in I77cd5212c. Bonus:

[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Make dotdotdot menu not be extremely wide

2016-08-18 Thread Catrope (Code Review)
Catrope has uploaded a new change for review. https://gerrit.wikimedia.org/r/305602 Change subject: Make dotdotdot menu not be extremely wide .. Make dotdotdot menu not be extremely wide Work around new styles introduced in o