I've created a new global config variable in my extension,
....
"config": {
"OresModels": [
"damaging",
"goodfaith",
"reverted",
"wp10"
],It doesn't seem to be possible to override that global from LocalSettings.php, because the array value I attempt to override with is array_merge'd into the default array.
Maybe this isn't a bug, I haven't RFM for this yet.