Last modified: 2011-09-28 18:16:34 UTC
It's getting on for nearly like 50,000 revisions since it was replaced!
You mean the database field? Than it is a schema change. Tagging.
We've convertUserOptions.php script, which already does the migration. I suppose we just need to stop adding the column in the default schema, make sure the maintenance script is run during update.php, and then do "ALTER TABLE /*_*/user DROP COLUMN user_options;" Few bits of code related to it, but it's few and far between Will do this this week maybe....
r98339
Added scaptrap & schema keywords on r98339 to make sure we run any final migration (if still needed) at 1.19 upgrade time. It wouldn't hurt to leave the existing tables in place but it should be wise to clean it up, so making sure we don't lose it. :)