https://bugzilla.wikimedia.org/show_bug.cgi?id=34409
--- Comment #11 from Roan Kattouw <roan.katt...@gmail.com> 2012-02-18 10:41:45 UTC --- (In reply to comment #9) > This issue still appears inconsistently in spite of the deployment of Roan's > fix (r111695). When it does, the "add to / remove from watchlist" feature is > broken, as are any gadgets relying on mw.user.options and probably other JS > features. I didn't deploy it correctly, I forgot mediawiki.user.js . This should be resolved now that Andrew has re-pushed it. > Consistent reproduction is hard (in some user sessions, seemingly impossible, > with others, continually appearing), suggesting a bug that's triggered under > certain timing conditions. > > Escalating priority until we've got a better handle on this. I have touched and synced a few files (mediawiki.js , mediawiki.user.js and startup.js) in an effort to fix this, cause I think it's probably just cached old code. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
