diff -r 6c5696673f1c -r 81d22971b333 src/web/wp-config.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/web/wp-config.php	Mon Dec 09 11:32:04 2019 +0100
@@ -0,0 +1,9 @@
+<?php
+/**
+ * Do not edit this file. Edit the config files found in the config/ dir instead.
+ * This file is required in the root directory so WordPress can find it.
+ * WP is hardcoded to look in its own directory or one directory up for wp-config.php.
+ */
+require_once dirname(__DIR__) . '/vendor/autoload.php';
+require_once dirname(__DIR__) . '/config/application.php';
+require_once ABSPATH . 'wp-settings.php';