New global setting: wgUserTablePrefix
authorJens Frank <jeluf@users.mediawiki.org>
Mon, 23 Aug 2004 18:49:05 +0000 (18:49 +0000)
committerJens Frank <jeluf@users.mediawiki.org>
Mon, 23 Aug 2004 18:49:05 +0000 (18:49 +0000)
set wgUserTablePrefix to the name of the DB where your users
table is for single login. Disabled by default.
If set, the users table will be fetched from another MySQL schema (called
database by MySQL). Can not be on a different MySQL server, though.

includes/Database.php
includes/DefaultSettings.php

index d9adba7..70735e8 100644 (file)
@@ -666,11 +666,15 @@ class Database {
        }
 
        function tableName( $name ) {
+               global $wgUserTablePrefix;
                if ( $this->mTablePrefix !== '' ) {
                        if ( strpos( '.', $name ) === false ) {
                                $name = $this->mTablePrefix . $name;
                        }
                }
+               if ( isset( $wgUserTablePrefix ) && 'user' == $name ) {
+                       $name = $wgUserTablePrefix . '.' . $name;
+               }
                return $name;
        }
 
index 11e5b17..1892487 100644 (file)
@@ -541,6 +541,10 @@ $wgUseExternalDiffEngine = false;
 # Use RC Patrolling to check for vandalism
 $wgUseRCPatrol = true;
 
+# set wgUserTablePrefix to the name of the DB where your users
+# table is for single login. Disabled by default.
+#$wgUserTablePrefix='';
+
 } else {
        die();
 }