Description
Details
Event Timeline
Change 385017 had a related patch set uploaded (by Bartosz Dziewoński; owner: Bartosz Dziewoński):
[mediawiki/extensions/Echo@master] mw.echo.ui.PageNotificationsOptionWidget: Fix CSS after changes in OOjs UI
Change 385017 merged by jenkins-bot:
[mediawiki/extensions/Echo@master] mw.echo.ui.PageNotificationsOptionWidget: Fix CSS after changes in OOjs UI
Change 385110 had a related patch set uploaded (by Catrope; owner: Bartosz Dziewoński):
[mediawiki/extensions/Echo@wmf/1.31.0-wmf.4] mw.echo.ui.PageNotificationsOptionWidget: Fix CSS after changes in OOjs UI
Change 385110 merged by jenkins-bot:
[mediawiki/extensions/Echo@wmf/1.31.0-wmf.4] mw.echo.ui.PageNotificationsOptionWidget: Fix CSS after changes in OOjs UI
Mentioned in SAL (#wikimedia-operations) [2017-10-19T18:20:37Z] <thcipriani@tin> Synchronized php-1.31.0-wmf.4/extensions/Echo/modules/styles/mw.echo.ui.PageNotificationsOptionWidget.less: SWAT: [[gerrit:385110|mw.echo.ui.PageNotificationsOptionWidget: Fix CSS after changes in OOjs UI]] T178439 (duration: 00m 51s)