This may sound stupid, but are you sure that you are mapping the update script to the correct "LocalSettings.php" file? Perhaps you moved around folders at some time. Another thing may be that you have the parameter twice in your "LocalSettings.php" file and that one value overrides the other. Apart from that, I do not know what could be the issue.
Cheers
Am 21.09.2018 um 16:28 schrieb Jeff Darlington:
As I stated several months ago, the updater isn't honoring $wgDBname, which I have explicitly set in LocalSettings.php to "wikidb":
$wgDBname = "wikidb";