On Fri, May 30, 2014 at 5:14 PM, Brian Wolff <bawolff(a)gmail.com> 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