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