On Fri, May 30, 2014 at 5:14 PM, Brian Wolff bawolff@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