[MediaWiki-commits] [Gerrit] mediawiki...BlueSpiceExtensions[master]: Widgetbar: disabled WidgetBar extension
jenkins-bot has submitted this change and it was merged. Change subject: Widgetbar: disabled WidgetBar extension .. Widgetbar: disabled WidgetBar extension Widgetbar will be completely removed in the upcoming release.
[MediaWiki-commits] [Gerrit] mediawiki...BlueSpiceExtensions[master]: Widgetbar: disabled WidgetBar extension
Mglaser has uploaded a new change for review. https://gerrit.wikimedia.org/r/309571 Change subject: Widgetbar: disabled WidgetBar extension .. Widgetbar: disabled WidgetBar extension Widgetbar will be completely removed in