In 1.16, custom preferences added by third-party extensions aren't getting displayed
on our wiki. They all use the "UserToggles" hook and a function like this:
function wfToggle($extraToggles) {
global $wgMessageCache;
$extraToggles[] = 'foo';
$wgMessageCache->addMessage('tog-foo', 'my checkbox text');
return true;
}
They used to show up under the Misc tab, but now they don't. Is this no longer the way
to add toggles?
http://www.mediawiki.org/wiki/Manual:Hooks/UserToggles says nothing about
it.
Thanks,
DanB