summaryrefslogtreecommitdiff
path: root/profileinfo.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2008-12-15 18:02:47 +0100
committerPierre Schmitz <pierre@archlinux.de>2008-12-15 18:02:47 +0100
commit396b28f3d881f5debd888ba9bb9b47c2d478a76f (patch)
tree10d6e1a721ee4ef69def34a57f02d7eb3fc9e31e /profileinfo.php
parent0be4d3ccf6c4fe98a72704f9463ecdea2ee5e615 (diff)
update to Mediawiki 1.13.3; some cleanups
Diffstat (limited to 'profileinfo.php')
-rw-r--r--profileinfo.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/profileinfo.php b/profileinfo.php
index 032df3f2..0eae51d5 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -60,7 +60,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' );
if (!$wgEnableProfileInfo) {