Adds db.php file for SharDB. See #848