[Mediawiki-l] Saving Data in Extensions

[Gunter]

Hello,

if in an extension some user preferences should be safed, where would be 
the best place?

One could alter user.user_options, but I do not think this is a good 
idea, as the standard would be messed up.

I proprose a new standard table to be delivered with MediaWiki for this 
purpose.

Table:
extensiondata

Fields:
extension name
user_id
data (blob)

Thus there would be a standard table for all extension data, which is 
easier to maintain.

What do you think?

Gunter