* Less verbose errors from profileinfo.php when not configured

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index feb6aa1..b9cc0cc 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -346,6 +346,7 @@ The following extensions are migrated into MediaWiki 1.14:
 * API siteinfo query no longer throws an exception for empty sifilter parameter.
 * Safer handling of non-MediaWiki exceptions -- now obeys our settings for
   formatting and path exposure.
+* Less verbose errors from profileinfo.php when not configured
 
 
 === API changes in 1.14 ===

diff --git a/profileinfo.php b/profileinfo.php
index cd0169e..5777e29 100644 (file)
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -5,7 +5,7 @@ $wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfile
 
 define( 'MW_NO_SETUP', 1 );
 require_once( './includes/WebStart.php' );
-require_once( './AdminSettings.php' );
+@include_once( './AdminSettings.php' );
 require_once( './includes/GlobalFunctions.php' );
 
 ?>