# Do nothing here, use setup.php to create the database.