On Sat, Apr 25, 2009 at 1:46 AM, Gerard Meijssen gerard.meijssen@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