Page MenuHomePhabricator

$wgTemplateStylesNamespaces cannot be correctly set in LocalSettings.php
Closed, ResolvedPublic

Description

Attempting to set $wgTemplateStylesNamespaces in LocalSettings.php results in a broken setting

>>> $wgTemplateStylesNamespaces
=> [
     true,
     true,
   ]

This seems to be due to it using the default "array_merge" merge strategy where it should probably use "array_plus"

Event Timeline

Anomie created this task.Oct 16 2018, 3:26 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 16 2018, 3:26 PM

Change 467718 had a related patch set uploaded (by Anomie; owner: Anomie):
[mediawiki/extensions/TemplateStyles@master] Upgrade extension.json to version 2 and add merge strategy for $wgTemplateStylesNamespaces

https://gerrit.wikimedia.org/r/467718

Change 467718 merged by jenkins-bot:
[mediawiki/extensions/TemplateStyles@master] Upgrade extension.json to version 2 and add merge strategy for $wgTemplateStylesNamespaces

https://gerrit.wikimedia.org/r/467718

MGChecker closed this task as Resolved.Oct 16 2018, 4:15 PM
Aklapper removed a subscriber: Anomie.Fri, Oct 16, 5:38 PM