On Fri, May 30, 2014 at 4:04 AM, Brian Wolff <[email protected]> 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 <[email protected]>
 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.)
_______________________________________________
Multimedia mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/multimedia

Reply via email to