Page MenuHomePhabricator

Make userOptions.php capable of deleting user options
Closed, ResolvedPublic

Description

Background

The Growth-Team works on decreasing the number of user_properties rows GrowthExperiments extension occupies (T304538). Deletion of user_properties rows has to be done carefully (because of the risk to break something), but there is no pre-existing script to do that job. This made the Growth-Team to create single-purpose scripts to do the deletions.

Problem & Solution

To avoid more and more custom scripts existing, let's make userOptions.php capable of deleting user options.

Event Timeline

Change 809020 had a related patch set uploaded (by Urbanecm; author: Urbanecm):

[mediawiki/core@master] Make userOptions.php capable of deleting user options

https://gerrit.wikimedia.org/r/809020

Change 809020 merged by jenkins-bot:

[mediawiki/core@master] Make userOptions.php capable of deleting user options

https://gerrit.wikimedia.org/r/809020

Urbanecm_WMF changed the task status from In Progress to Open.Nov 7 2022, 8:44 AM

The script was improved as intended, resolving. Running it will be a part of T304538 and subtasks.