https://bugzilla.wikimedia.org/show_bug.cgi?id=26799
--- Comment #3 from Krinkle krinklem...@gmail.com 2011-02-14 00:21:51 UTC ---
On second thought, rather than moving mediaWiki-specific things out of
mediaWiki.util, I think it is good where it is (they are mediaWiki utilities)
Instead anything
https://bugzilla.wikimedia.org/show_bug.cgi?id=26799
--- Comment #1 from Michael Dale d...@ucsc.edu 2011-01-28 16:53:25 UTC ---
Also I suggest moving the mediaWiki.user class outside of the core mediawiki.js
since A) Its dependent on jquery.cookie ( which could be expressed as a normal
resource
https://bugzilla.wikimedia.org/show_bug.cgi?id=26799
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
CC||krinklem...@gmail.com