( function ( mw, $ ) {
- // Reference to dummy
- // We don't need the dummy, but it has other methods on it
- // that we need to restore afterwards.
+ // Keep reference to the dummy placeholder from mediawiki.js
+ // The root is replaced below, but it has other methods that we need to restore.
var original = mw.log,
slice = Array.prototype.slice;
if ( !$log.length ) {
$log = $( '<div id="mw-log-console"></div>' ).css( {
- overflow: 'auto',
- height: '150px',
- backgroundColor: 'white',
- borderTop: 'solid 2px #ADADAD'
- } );
+ overflow: 'auto',
+ height: '150px',
+ backgroundColor: 'white',
+ borderTop: 'solid 2px #ADADAD'
+ } );
hovzer = $.getFootHovzer();
hovzer.$.append( $log );
hovzer.update();