a little warning about AdminSettings.php (see bug #5725)

diff --git a/maintenance/update.php b/maintenance/update.php
index 5c0d574..d8c44bd 100644 (file)
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -17,6 +17,9 @@ $wgTitle = Title::newFromText( "MediaWiki database updater" );
 $dbclass = 'Database'.ucfirst($wgDBtype);
 require_once("$dbclass.php");
 $dbc = new $dbclass;
+# TODO : check for AdminSettings file existence ? See #5725
+print "Attempting connection to the database. If it fails, maybe you are\n";
+print "missing a proper AdminSettings.php file in $IP\n\n";
 $wgDatabase = $dbc->newFromParams( $wgDBserver, $wgDBadminuser, $wgDBadminpassword, $wgDBname );
 
 print "Going to run database updates for $wgDBname\n";