diff -r 000000000000 -r 505fe5249d9c src/web/index.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/web/index.php	Wed Dec 04 11:40:06 2019 +0100
@@ -0,0 +1,5 @@
+<?php
+
+/** WordPress view bootstrapper */
+define('WP_USE_THEMES', true);
+require __DIR__ . '/wp/wp-blog-header.php';