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