Make mediawiki use an external MySQL database.