> > No, the issue is that the users would disable the gadget and it would > still be enabled after 12h. >
Were they enabling it by putting directly into User:.../common.js or through Special:Preferences? The former might be subject to weird caching but I always assumed it was properly invalidated on changes. If using Special:Preferences, that sounds like a more serious bug and it would be good to know.
_______________________________________________ Wikitech-l mailing list -- wikitech-l@lists.wikimedia.org To unsubscribe send an email to wikitech-l-le...@lists.wikimedia.org https://lists.wikimedia.org/postorius/lists/wikitech-l.lists.wikimedia.org/
