Index: repair.php
===================================================================
--- repair.php	(revision 12600)
+++ repair.php	(working copy)
@@ -18,8 +18,8 @@
 
 <?php
 
-if ( !defined('WP_ALLOW_REPAIR') ) {
-	_e("<p>To allow use of this page to automatically repair database problems, please add the following line to your wp-config.php file.  Once this line is added to your config, reload this page.</p><code>define('WP_ALLOW_REPAIR', true);</code>");
+if ( !defined('WP_ALLOW_REPAIR') && !current_user_can('manage_options') ) {
+	_e("<p>To allow use of this page to automatically repair database problems, please add the following line to your wp-config.php file. Once this line is added to your config, reload this page.</p><code>define('WP_ALLOW_REPAIR', true);</code>.<p>Another option is to log in as administrator and run this check again.</p>");
 } elseif ( isset($_GET['repair']) ) {
 	$problems = array();
 	check_admin_referer('repair_db');
@@ -72,7 +72,7 @@
 			$problem_output[] = "$table: $problem";
 		echo '<textarea name="errors" id="errors" rows="20" cols="60">' . format_to_edit(implode("\n", $problem_output)) . '</textarea>';
 	} else {
-		_e("<p>Repairs complete.  Please remove the following line from wp-config.php to prevent this page from being used by unauthorized users.</p><code>define('WP_ALLOW_REPAIR', true);</code>");
+		_e("<p>Repairs complete. Please remove the following line from wp-config.php, in case you have included it, to prevent this page from being used by unauthorized users.</p><code>define('WP_ALLOW_REPAIR', true);</code>");
 	}
 } else {
 	if ( isset($_GET['referrer']) && 'is_blog_installed' == $_GET['referrer'] )