On Tue, Jun 3, 2014 at 1:21 AM, Gergo Tisza <gtisza(a)wikimedia.org> wrote:
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.)
Following what OOJS does -
https://gerrit.wikimedia.org/r/#/c/137888/
I still have some questions that I've mentioned in the comments.
—prtksxna