Last modified: 2014-02-12 23:54:07 UTC
The writeCookie function in banner.js should be more generic. settings.js or application.js would be better locations for it.
Moved in https://gerrit.wikimedia.org/r/9633