merge db_mysql.inc.php from server/ and interface/
This merge request is simply the commits from the stable-3.1 branch for convenience -- they applied clean, but this is absolutely untested.
Just let me know and I'll delete this merge request if it seems like a bad idea.