On Sat, Apr 25, 2009 at 1:46 AM, Gerard Meijssen
<gerard.meijssen(a)gmail.com> wrote:
Hoi,
How much work do you think it will be to repair an extension that needs
repair ? For someone who knows the code and for someone who just has to
repair his one extension ??
It's a reasonably simple fix. Here's an example: [1]
Essentially, all you need to do is remove your existing preferences
code, hook GetPreferences, and add your preference to the array. I'll
be posting documentation as to the format of preference entries
tomorrow, but for now you can look at the examples in
includes/Preferences.php.
[1]
http://www.mediawiki.org/wiki/Special:Code/MediaWiki/49690
--
Andrew Garrett
Sent from Sydney, Nsw, Australia