plugins/SpecialAdmin.php
changeset 1008 d21eef4f9e8c
parent 983 36e42d787d1d
child 1009 fa665a95e99d
equal deleted inserted replaced
1007:2b77ebbf8701 1008:d21eef4f9e8c
   502         <td class="row2">
   502         <td class="row2">
   503           <select name="default_theme">
   503           <select name="default_theme">
   504           <?php
   504           <?php
   505               foreach ( $template->named_theme_list as $theme_id => $theme_data )
   505               foreach ( $template->named_theme_list as $theme_id => $theme_data )
   506               {
   506               {
       
   507                 if ( !isset($theme_data['theme_name']) )
       
   508                   // probably a system theme
       
   509                   continue;
       
   510                   
   507                 $theme_name = htmlspecialchars($theme_data['theme_name']);
   511                 $theme_name = htmlspecialchars($theme_data['theme_name']);
   508                 $selected = ( $theme_id === getConfig('theme_default') ) ? ' selected="selected"' : '';
   512                 $selected = ( $theme_id === getConfig('theme_default') ) ? ' selected="selected"' : '';
   509                 echo "  <option value=\"$theme_id\"$selected>$theme_name</option>\n          ";
   513                 echo "  <option value=\"$theme_id\"$selected>$theme_name</option>\n          ";
   510               }
   514               }
   511             ?>
   515             ?>