# HG changeset patch
# User Dan
# Date 1243448115 14400
# Node ID d21eef4f9e8c1bb0787dec4033c057837e580da9
# Parent  2b77ebbf87014ab749ca8652cb3248881c3f9f1e
Fixed a PHP warning in Admin:GeneralConfig default theme selection

diff -r 2b77ebbf8701 -r d21eef4f9e8c plugins/SpecialAdmin.php
--- a/plugins/SpecialAdmin.php	Wed May 27 09:46:16 2009 -0400
+++ b/plugins/SpecialAdmin.php	Wed May 27 14:15:15 2009 -0400
@@ -504,6 +504,10 @@
           <?php
               foreach ( $template->named_theme_list as $theme_id => $theme_data )
               {
+                if ( !isset($theme_data['theme_name']) )
+                  // probably a system theme
+                  continue;
+                  
                 $theme_name = htmlspecialchars($theme_data['theme_name']);
                 $selected = ( $theme_id === getConfig('theme_default') ) ? ' selected="selected"' : '';
                 echo "  <option value=\"$theme_id\"$selected>$theme_name</option>\n          ";