On Fri, May 30, 2014 at 4:04 AM, Brian Wolff <bawolff(a)gmail.com> wrote:
Ugh. Why is that in an external repo and not in
gerrit.
A major improvement over the previous practice of using Dropbox, though :)
On Fri, May 30, 2014 at 4:12 AM, Prateek Saxena <psaxena(a)wikimedia.org>
wrote:
Will this have to be structured as an extension? Or
would it go into
core?
Probably just put the assets into core and add them to the ResourceLoader
config. You might want to keep the original repo as well, if you have
important files other than the final assets and/or want to encourage reuse
outside MediaWiki; you have to periodically merge updates to the core repo
by hand, then. (This is how e.g. OOJS does it.)