When will convertUserOptions.php be run by update.php? I see newer users have their preferences stored in a different database table than older users. Will they be merged one day or just used in parallel forever?
_______________________________________________ MediaWiki-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
