. auth_reauthenticate( ); access_ensure_global_level( config_get( 'manage_plugin_threshold' ) ); html_page_top( plugin_lang_get( 'title' ) ); print_manage_menu( ); $t_current_font_selected = array( 'arial' => false, 'verdana' => false, 'trebuchet' => false, 'verasans' => false, 'times' => false, 'georgia' => false, 'veraserif' => false, 'courier' => false, 'veramono' => false, ); $t_current_font = plugin_config_get( 'font' ); if ( isset( $t_current_font_selected[$t_current_font] ) ) { $t_current_font_selected[$t_current_font] = true; } else { $t_current_font_selected['arial'] = true; } /** * Prints checked="checked" to the end of a HTML