Thread:Skin talk:Agora/Location on Git

This was pushed into /extensions/ on Git. I doubt that this is what we should go since we have /skins/ for MediaWiki. I write this knowing that the handling of this skin is closer to that of an extension than that one of the "classic" skins. Cheers