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 @@ 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 " \n ";