Merge "Preferences: Do not set non-breaking space as a label"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 16 Sep 2017 16:27:53 +0000 (16:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 16 Sep 2017 16:27:53 +0000 (16:27 +0000)
includes/Preferences.php

index 0a9d701..dfc2475 100644 (file)
@@ -625,7 +625,6 @@ class Preferences {
                        $defaultPreferences['skin'] = [
                                'type' => 'radio',
                                'options' => $skinOptions,
-                               'label' => '&#160;',
                                'section' => 'rendering/skin',
                        ];
                }
@@ -695,7 +694,6 @@ class Preferences {
                        $defaultPreferences['date'] = [
                                'type' => 'radio',
                                'options' => $dateOptions,
-                               'label' => '&#160;',
                                'section' => 'rendering/dateformat',
                        ];
                }