Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/315810
Change subject: Add merge strategy for JsonConfigs ...................................................................... Add merge strategy for JsonConfigs Change-Id: I64b22723177c483ddda292f442979571c0238163 --- M extension.json 1 file changed, 2 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ZeroPortal refs/changes/10/315810/1 diff --git a/extension.json b/extension.json index 58e0812..b7fa048 100644 --- a/extension.json +++ b/extension.json @@ -65,7 +65,8 @@ "JsonConfigs": { "JsonZeroConfig": { "store": true - } + }, + "_merge_strategy": "array_merge_recursive" }, "config": { "ZeroPortalImpersonateUser": { -- To view, visit https://gerrit.wikimedia.org/r/315810 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I64b22723177c483ddda292f442979571c0238163 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ZeroPortal Gerrit-Branch: master Gerrit-Owner: Reedy <re...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits