"Platonides" posted a comment on MediaWiki.r98339. URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/98339#c27113
Commit summary for MediaWiki.r98339: * (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 Platonides's comment: Why? It wouldn't harm backporting that snippet, but doesn't seem to provide a gain. Note that the whole change doing the schema change ''must not'' be merged to the branch of the already-released mediawiki 1.18. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
