Merge branch 'master' into 'master'

Marius Cramer

2015-11-15 85fdab1f3538495979abfceedb44dcf5e5002e2a

 interface/web/help/index.php

@@ -13,4 +13,4 @@
  <p>&nbsp;</p>
</div>
</BODY>
</HTML>
</HTML>