--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/web/routing.php Wed May 10 10:55:51 2017 +0200
@@ -0,0 +1,7 @@
+<?php
+// www/routing.php
+if (preg_match('/\.(?:png|jpg|jpeg|gif)$/', $_SERVER["REQUEST_URI"])) {
+ return false;
+} else {
+ include __DIR__ . '/index.php';
+}