/*!
 * OOjs UI v0.1.0-pre (da4b0d5c14)
 * https://www.mediawiki.org/wiki/OOjs_UI
 *
 * Copyright 2011–2014 OOjs Team and other contributors.
 * Released under the MIT license
 * http://oojs.mit-license.org
 *
 * Date: 2014-10-30T00:10:09Z
 */
/* Instantiation */

OO.ui.theme = new OO.ui.Theme();