Page MenuHomePhabricator

GlobalPreferences: Unable to delete `userjs-` option
Closed, DuplicatePublic

Description

Steps to reproduce:

  • Set a userjs-foo preference globally
  • Try to delete that preference

Expected result:

  • Preference is deleted

Actual result:

  • API returns "success", but no deletion occurs

"Deletion" is explained at https://www.mediawiki.org/wiki/Extension:GlobalPreferences/API as changing it without a value (change=userjs-foo)

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

I've come across this with Convenient-Discussions trying to delete a property created for testing purposes, and I couldn't. I was lucky not to mess with the users' options (only faced this behavior while in the development stage)—they would have an undeletable junk option. A particularly unfortunate feature of this is that global preferences override local ones, so if there is a userjs- option with the same name locally, it would have no effect.

@Jack_who_built_the_house: Feel free to Edit Related Tasks...Close As Duplicate in the upper right corner in such cases. Thanks!