[MediaWiki-commits] [Gerrit] mediawiki...BlueSpiceFoundation[master]: ExtensionManager: Fixed merge strategy of $GOBALS

2017-01-30 Thread Pwirth (Code Review)
Pwirth has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/334975 ) Change subject: ExtensionManager: Fixed merge strategy of $GOBALS .. ExtensionManager: Fixed merge strategy of $GOBALS ... and exten

[MediaWiki-commits] [Gerrit] mediawiki...BlueSpiceFoundation[master]: ExtensionManager: Fixed merge strategy of $GOBALS

2017-01-30 Thread Robert Vogel (Code Review)
Robert Vogel has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/334975 ) Change subject: ExtensionManager: Fixed merge strategy of $GOBALS .. ExtensionManager: Fixed merge strategy of $GOBALS ... and extensi