Small fix to theme selector

diff --git a/mod/settings.php b/mod/settings.php
index f976bdf8f98089dab7bbe6e308f8b4e6ed914333..916e04270731c084277c1c6939abcc8c84da6ddb 100644 (file)
--- a/mod/settings.php
+++ b/mod/settings.php
@@ -432,7 +432,7 @@ function settings_content(&$a) {
                        $selected = (($f == $_SESSION['theme']) || ($f === $default_theme && (! x($_SESSION,'theme')))
                                ? ' selected="selected" ' : '' );
                        $theme_name = ((file_exists($file . '/experimental')) ?  sprintf("%s - \x28Experimental\x29", $f) : $f);
-                       $theme_selector .= '<option val="' . $f . '"' . $selected . '>' . $theme_name . '</option>';
+                       $theme_selector .= '<option value="' . $f . '"' . $selected . '>' . $theme_name . '</option>';
                }
        }