get-wiki-dbinfo didn't get pushed last time?

I'm not sure why it didn't make it into the last commit.
Let's hope it works this time.