jenkins-bot has submitted this change and it was merged.
Change subject: Actually register GadgetRepos properly
......................................................................
Actually register GadgetRepos properly
Change-Id: Ie95e125cd8bce4e9dc50345e806eadc8d2b00ea6
---
M backend/GadgetRepoFactory.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/backend/GadgetRepoFactory.php b/backend/GadgetRepoFactory.php
index 68a62e1..66f7904 100644
--- a/backend/GadgetRepoFactory.php
+++ b/backend/GadgetRepoFactory.php
@@ -38,7 +38,7 @@
}
public function register( array $config ) {
- $this->repos[] = $config;
+ $this->repoConfigs[] = $config;
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/162181
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie95e125cd8bce4e9dc50345e806eadc8d2b00ea6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: RL2
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
