diff -r f4c8af4e6060 -r 97b5802c9069 web/enmi18/index.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/enmi18/index.php	Wed Oct 31 12:42:19 2018 +0100
@@ -0,0 +1,5 @@
+<?php
+// Permanent redirection
+header("HTTP/1.1 302 Found");
+header("Location: client.php");
+exit();
\ No newline at end of file