https://bugzilla.wikimedia.org/show_bug.cgi?id=41763

--- Comment #3 from Siebrand <[email protected]> ---
(In reply to comment #2)
> $wgDefaultUserOptions and $wgHiddenPrefs cannot help
> here, because the options API validates the option names using the
> Special:Prefs form, but we don't want these prefs to appear in that form.
> 
> Does anybody have clever ideas that don't involve dirty hacks and core
> changes?

Add a hook in the options API, so you can register "API only" options in
extensions. That seems to be the cleaner solution.

-- 
You are receiving this mail because:
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to