$default_thumb, 'id' => 0); if (!isset($saved_settings['disable_wpautop'])) { $disable_wpautop_checked = 'checked'; } ?>