2017-10-19 - production
18:20 <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) [production]