Index: wp-admin/options-misc.php
===================================================================
--- wp-admin/options-misc.php	(revision 4756)
+++ wp-admin/options-misc.php	(working copy)
@@ -35,6 +35,14 @@
 </table>
 </fieldset>
 
+<fieldset class="options">
+<legend><?php _e('Content MIME Type'); ?></legend>
+<p><input type="radio" id="html_type_html" name="html_type" value="text/html" <?php checked('text/html', get_option('html_type')); ?> />
+<label for="html_type_html"><?php _e('text/html') ?></label></p>
+<p><input type="radio" id="html_type_xhtml" name="html_type" value="application/xhtml+xml" <?php checked('application/xhtml+xml', get_option('html_type')); ?> />
+<label for="html_type_xhtml"><?php _e('application/xhtml+xml') ?></label></p>
+</fieldset>
+
 <p><input name="use_linksupdate" type="checkbox" id="use_linksupdate" value="1" <?php checked('1', get_option('use_linksupdate')); ?> />
 <label for="use_linksupdate"><?php _e('Track Bookmarks&#8217; Update Times') ?></label></p>
 <p>
@@ -43,7 +51,7 @@
 
 <p class="submit">
 <input type="hidden" name="action" value="update" />
-<input type="hidden" name="page_options" value="hack_file,use_linksupdate,uploads_use_yearmonth_folders,upload_path" />
+<input type="hidden" name="page_options" value="hack_file,use_linksupdate,uploads_use_yearmonth_folders,upload_path,html_type" />
 <input type="submit" name="Submit" value="<?php _e('Update Options &raquo;') ?>" />
 </p>
 </form>