wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-12-02 12:06:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove _merge_strategy from value

Browse source 
Change-Id: I7845b86671fc200314dab87d8bf1baa11aacc6bc
This commit is contained in:
Reedy 2020-05-12 18:49:38 +01:00
parent d4323666b1
commit d386dd7fdb
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -111,8 +111,7 @@
"value": { "value": {
"10": 1, "10": 1,
"20": 1, "20": 1,
"0": 2, "0": 2
"_merge_strategy": "array_plus"
}, },
"merge_strategy": "array_plus" "merge_strategy": "array_plus"
}, },