https://bugzilla.wikimedia.org/show_bug.cgi?id=19051
--- Comment #1 from [email protected] 2009-06-07 01:21:24 UTC --- More ideas: When using just plain $ php userOptions.php --usage maybe a more efficient query would be >SELECT up_property,COUNT(*),up_value FROM user_properties GROUP BY >up_property,up_value;... (if convertUserOptions.php has already been run.) Maybe add --remove-all-unknown-options (hmm, sounds dangerous, --dry first) that would DELETE all rows with options that have been retired from the code. Perhaps add a --delete-if-default, which would DELETE all rows where an option the corresponding $wgDefaultUserOptions[]. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
