* Add hook for extensions to add user information to the panel in preferences,
authorBrion Vibber <brion@users.mediawiki.org>
Sat, 30 Dec 2006 11:39:58 +0000 (11:39 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sat, 30 Dec 2006 11:39:58 +0000 (11:39 +0000)
commita31a18025b749e4dd1b9794c0fb1a6294e6ca08b
tree8c512fe013d549b42ee4e3276076f121914ff2c9
parent7c97c9b5f4791197365f1971a256d2dc9c849a28
* Add hook for extensions to add user information to the panel in preferences,
  next to the user name and ID.

'PreferencesUserInformationPanel': Add HTML bits to user information list in preferences form
$form : PreferencesForm object
&$html : HTML to append to
RELEASE-NOTES
includes/SpecialPreferences.php