On Fri, May 30, 2014 at 4:04 AM, Brian Wolff <bawolff@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@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.)