Thread:Skin talk:Agora/Location on Git/reply

No, it is an extension (I moved the page back). The extension:
 * Defines a ResourceLoader module 'ext.agora.base'
 * which contains some CSS for new styles (.mw-ui-button to start)
 * and some JavaScript to apply these styles to pages
 * Conditionally sends this module to the browser pages depending on config variables,the current page's title, and/or the current page's wiki actions

This CSS is in addition to the user's current skin.