/*!
- * OOjs UI v0.1.0-pre (8ad150e4e7)
+ * OOjs UI v0.1.0-pre (72f047e5d8)
* 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-09-05T21:30:32Z
+ * Date: 2014-09-06T00:15:06Z
*/
/*
* Blank theme mixins.
/*!
- * OOjs UI v0.1.0-pre (8ad150e4e7)
+ * OOjs UI v0.1.0-pre (72f047e5d8)
* 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-09-05T21:30:32Z
+ * Date: 2014-09-06T00:15:06Z
*/
/*
* Blank theme mixins.
/*!
- * OOjs UI v0.1.0-pre (8ad150e4e7)
+ * OOjs UI v0.1.0-pre (72f047e5d8)
* 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-09-05T21:30:32Z
+ * Date: 2014-09-06T00:15:06Z
*/
( function ( OO ) {
styleText = '@import url(' + styleNode.href + ');';
} else {
// Internal stylesheet; just copy the text
- // For IE10 we need to fall back to .cssText
- styleText = styleNode.textContent || parentDoc.styleSheets[i].cssText;
+ // For IE10 we need to fall back to .cssText, BUT that's undefined in
+ // other browsers, so fall back to '' rather than 'undefined'
+ styleText = styleNode.textContent || parentDoc.styleSheets[i].cssText || '';
}
// Create a node with a unique ID that we're going to monitor to see when the CSS
/*!
- * OOjs UI v0.1.0-pre (8ad150e4e7)
+ * OOjs UI v0.1.0-pre (72f047e5d8)
* 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-09-05T21:30:32Z
+ * Date: 2014-09-06T00:15:06Z
*/
/*
* Blank theme mixins.