Page MenuHomePhabricator

add maintenance script to cleanup user_properties table
Closed, ResolvedPublic

Description

MediaWiki needs a maintenance scripts to cleanup the user_properties table.

bug 28343 removes preferences and the new script should remove the rows from users which have set the preference.

You can design the script in two ways:

  1. Removing a named preference from the table, useful when adding a preference to $wgHiddenPrefs
  2. Check for all current preferences be set. Useful to run after a upgrade or so (ConvertUserOptions looks to expensive for that).

Thanks.


Version: 1.20.x
Severity: enhancement

Details

Reference
bz30976

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 11:50 PM
bzimport set Reference to bz30976.
TyA added a comment.May 30 2012, 4:06 AM

I submitted some code for review at https://gerrit.wikimedia.org/r/#/c/9358/

(In reply to comment #1)

I submitted some code for review at https://gerrit.wikimedia.org/r/#/c/9358/

Status Merged