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.