Deleting gadgets
Fragment of a discussion from User talk:Nike/LiquidThreads
The bug may be that it converts the preference to lower case before querying it—Special:UserOptionStats/gadget-UTCLiveClock’s output uses lower case. However, Special:UserOptionStats/gadget-translate-hidemenu shows that one user (me) uses this gadget. However, not the implementation is important, just the behavior, so if it remembers my choice not only between page loads, but also between sessions (i.e. it uses a hidden preference or the local storage), it’s OK for me.
Tacsipacsi (talk)