Sam Reed eda06e8593 * (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		2011-09-28 18:08:48 +00:00
..
mediawiki118_fresh_installation.sql	* (bug 31204) Remove old user.user_options	2011-09-28 18:08:48 +00:00
SimpleSeleniumTestDB.sql	* (bug 31204) Remove old user.user_options	2011-09-28 18:08:48 +00:00
SimpleSeleniumTestImages.zip
Wikipedia-logo-v2-de.png