From 76f4d85d9a780d1fdfd130cc625a25dd88f4efb7 Mon Sep 17 00:00:00 2001
From: fabrixxm <fabrix.xm@gmail.com>
Date: Mon, 6 Jun 2011 14:55:54 +0200
Subject: [PATCH] Small fix to theme selector

---
 mod/settings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mod/settings.php b/mod/settings.php
index f976bdf8f9..916e042707 100644
--- 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>';
 		}
 	}