[Mediawiki-l] UserToggles in 1.16 - no checkboxes

[Daniel Barrett]

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