diff -r 9996e11ba8e4 -r 72b2ca5a481e web/routing.php
--- /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';
+}