Ticket #2512: wp-settings.php.diff

wp-settings.php

@@ -91 +91 @@
         $wpdb->users = CUSTOM_USER_TABLE;
 if ( defined('CUSTOM_USER_META_TABLE') )
         $wpdb->usermeta = CUSTOM_USER_META_TABLE;
+if ( defined('CUSTOM_OPTIONS_TABLE') )
+        $wpdb->options = CUSTOM_OPTIONS_TABLE;
 
 // We're going to need to keep this around for a few months even though we're not using it internally