text: /*!
   * OOjs UI v0.6.6
   * https://www.mediawiki.org/wiki/OOjs_UI
   *
   * Copyright 2011–2015 OOjs Team and other contributors.
   * Released under the MIT license
   * http://oojs.mit-license.org
   *
   * Date: 2015-02-04T16:51:55Z
   */
  /* Instantiation */
  
  OO.ui.theme = new OO.ui.Theme();
  