Diffusion extensions-ORES 2b6893320831

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

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

Catrope

Authored on Apr 24 2017, 5:40 PM

Parents

rEORSef599c00bead: Localisation updates from https://translatewiki.net.

Branches

Unknown

Tags

Unknown

ChangeId

I336a782680c45ef77a608f345f179be998470509

Event Timeline

Catrope committed rEORS2b6893320831: Hack around the fact that setting $wgHiddenPrefs from GetPreferences doesn't… (authored by Catrope).Apr 24 2017, 5:42 PM

Changes (1)

Path

Size

includes/

Hooks.php

rEORS2b6893320831

View Options

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