On Fri, May 30, 2014 at 5:14 PM, Brian Wolff <[email protected]> wrote: > Neither i'd imagine (it all depends on how it will be used. If its being > used as an extension it should be an extension), there are plenty of things > in gerrit which are neither extensions nor core (for example things under > wikimedia/ or tools/. In the svn days we used to have an "art" repo for > source files for images used in mw. Not sure if we still have it.)
An extension *might* make sense, we could use ResourceLoader to load the Webfont files. There is not `art` repo any more (or maybe I couldn't find it on http://git.wikimedia.org/repositories/). I am not sure where it should belong and thus am asking for direction. —prtksxna _______________________________________________ Multimedia mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/multimedia
