Copy config-dist.php to config.php

This avoids having to do it manually