Switch Theme option name

Issue Summary

Hi everybody,

It seems that there is a issue when I try to change the display name on the admin/config/user-interface/switchtheme page.

I want to allow user to change theme between the new one(Pixture Reloaded) and the old one (Garland). So i change the display name by ' new theme' and 'old theme'.

On the switchtheme_select() function, it tries to get the variable like that :
$options[$name] = variable_get('switchtheme_' . $label, $label);
The switch theme variable looks like that :
switchtheme_garland or switchtheme_pixture_reloaded.
But the $label look like Garland and Pixture Reloaded, so it could not find the variable...

Solution !!
Replace the $options[$name] = variable_get('switchtheme_' . $label, $label);
by $options[$name] = variable_get('switchtheme_' . $name, $label);

Elodie