[MediaWiki-commits] [Gerrit] registration: Overhaul merging of globals - change (mediawiki/core)

2015-09-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: registration: Overhaul merging of globals .. registration: Overhaul merging of globals Instead of hardcoding specific global settings in ExtensionRegistry

[MediaWiki-commits] [Gerrit] registration: Overhaul merging of globals - change (mediawiki/core)

2015-09-13 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/237971 Change subject: registration: Overhaul merging of globals .. registration: Overhaul merging of globals Instead of hardcoding specific global

[MediaWiki-commits] [Gerrit] registration: Overhaul merging of globals - change (mediawiki/core)

2015-08-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: registration: Overhaul merging of globals .. registration: Overhaul merging of globals Instead of hardcoding specific global settings in ExtensionRegistry

[MediaWiki-commits] [Gerrit] registration: Overhaul merging of globals - change (mediawiki/core)

2015-08-01 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/228450 Change subject: registration: Overhaul merging of globals .. registration: Overhaul merging of globals Instead of hardcoding specific global