sync copies of db_mysql.inc.php

The two db classes have diverged a bit. Copying the change should be easy enough... but would it not be easier to replace one of them with an include_once statement to include the other file?

• interface/lib/classes/db_mysql.inc.php
• server/lib/classes/db_mysql.inc.php