diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
| commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
| tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php')
| -rw-r--r-- | vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php b/vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php index 26da29d0..69fd0a8e 100644 --- a/vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php +++ b/vendor/oojs/oojs-ui/php/widgets/RadioInputWidget.php @@ -18,6 +18,8 @@ class RadioInputWidget extends InputWidget { // Initialization $this->addClasses( array( 'oo-ui-radioInputWidget' ) ); + // Required for pretty styling in MediaWiki theme + $this->appendContent( new Tag( 'span' ) ); $this->setSelected( isset( $config['selected'] ) ? $config['selected'] : false ); } |