* (bug 31204) Remove old user.user_options
authorSam Reed <reedy@users.mediawiki.org>
Wed, 28 Sep 2011 18:08:48 +0000 (18:08 +0000)
committerSam Reed <reedy@users.mediawiki.org>
Wed, 28 Sep 2011 18:08:48 +0000 (18:08 +0000)
commiteda06e8593c12b4359a46cf3b428c1a1a88e40c4
treef48addee0e80f74a24bccd0423b1f1a1c2c99176
parentef861c14ba6b45f1a54f1d07504929d63af76936
* (bug 31204) Remove old user.user_options

Added run of ConvertUserOptions maintenance script into update.php before dropping the column

Removed usages of user_options in code

Marked User::decodeOptions() deprecated as of 1.19.

Made ConvertUserOptions drop out early if the user_options field doesn't exist

Made ConvertUserOptions update user_options to '' after migration of user options to mOptions
includes/User.php
includes/installer/DatabaseUpdater.php
includes/installer/MysqlUpdater.php
includes/installer/SqliteUpdater.php
maintenance/archives/patch-drop-user_options.sql [new file with mode: 0644]
maintenance/convertUserOptions.php
maintenance/tables.sql
tests/selenium/data/SimpleSeleniumTestDB.sql
tests/selenium/data/mediawiki118_fresh_installation.sql