Follow-up
9df277a4ba3
If the server array ommitted 'tablePrefix', Database will
use '' as the prefix, so if $wgDBprefix is also '', then
no error should happen.
Change-Id: Ic207c3fceae8fd45c87f7fa24678079217a60730
}
$ldTP = $mainConfig->get( 'DBprefix' ); // local domain prefix
- $srvTP = $server['tablePrefix'] ?? null; // server table prefix
+ $srvTP = $server['tablePrefix'] ?? ''; // server table prefix
if ( $srvTP !== '' && $srvTP !== $ldTP ) {
self::reportMismatchedPrefixes( $srvTP, $ldTP );
}