diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-20 09:00:55 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-20 09:00:55 +0100 |
| commit | a2190ac74dd4d7080b12bab90e552d7aa81209ef (patch) | |
| tree | 8b31f38de9882d18df54cf8d9e0de74167a094eb /vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php | |
| parent | 15e69f7b20b6596b9148030acce5b59993b95a45 (diff) | |
| parent | 257401d8b2cf661adf36c84b0e3fd1cf85e33c22 (diff) | |
Merge branch 'mw-1.26'
Diffstat (limited to 'vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php')
| -rw-r--r-- | vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php b/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php index bda09c66..5d180d58 100644 --- a/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php +++ b/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php @@ -27,6 +27,8 @@ class CheckboxInputWidget extends InputWidget { // Initialization $this->addClasses( array( 'oo-ui-checkboxInputWidget' ) ); + // Required for pretty styling in MediaWiki theme + $this->appendContent( new Tag( 'span' ) ); $this->setSelected( isset( $config['selected'] ) ? $config['selected'] : false ); } |