HomePhabricator

Hack around the fact that setting $wgHiddenPrefs from GetPreferences doesn't…
2b6893320831Unpublished

Unpublished Commit · Learn More

Publishing Disabled: All publishing is disabled for this repository.

Description

Hack around the fact that setting $wgHiddenPrefs from GetPreferences doesn't fully work

We should consider fixing this properly by setting it somewhere else,
but for now just changing the one place where this preference is
used will work around the bug.

Bug: T163712
Change-Id: I336a782680c45ef77a608f345f179be998470509

Details

Provenance
CatropeAuthored on Apr 24 2017, 5:40 PM
Parents
rEORSef599c00bead: Localisation updates from https://translatewiki.net.
Branches
Unknown
Tags
Unknown
ChangeId
I336a782680c45ef77a608f345f179be998470509