Fix use of $wgDBadminuser on 'simple' database setup, where $wgDBservers isn't set