[MediaWiki-commits] [Gerrit] mediawiki/extensions[master]: Remove Widgets extension as submodule from meta repo

2017-10-23 Thread Chad (Code Review)
Chad has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383755 ) Change subject: Remove Widgets extension as submodule from meta repo .. Remove Widgets extension as submodule from meta repo The

[MediaWiki-commits] [Gerrit] mediawiki/extensions[master]: Remove Widgets extension as submodule from meta repo

2017-10-11 Thread Chad (Code Review)
Chad has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383755 ) Change subject: Remove Widgets extension as submodule from meta repo .. Remove Widgets extension as submodule from meta repo The extension is