$attrs['class'][] = 'mw-ui-button mw-ui-big mw-ui-block';
$buttons .= Html::element( 'input', $attrs ) . "\n";
}
$html = Html::rawElement( 'div',
$attrs['class'][] = 'mw-ui-button mw-ui-big mw-ui-block';
$buttons .= Html::element( 'input', $attrs ) . "\n";
}
$html = Html::rawElement( 'div',