[MediaWiki-commits] [Gerrit] mw.widgets.TitleOptionWidget: Prevent page navigation by cli... - change (mediawiki/core)

2015-09-29 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/242151 Change subject: mw.widgets.TitleOptionWidget: Prevent page navigation by clicking labels .. mw.widgets.TitleOptionWidget: Prevent

[MediaWiki-commits] [Gerrit] mw.widgets.TitleOptionWidget: Prevent page navigation by cli... - change (mediawiki/core)

2015-09-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: mw.widgets.TitleOptionWidget: Prevent page navigation by clicking labels .. mw.widgets.TitleOptionWidget: Prevent page navigation by clicking labels