- added hhvm php.ini file usage

Marius Cramer

2014-08-11 9d9ea6f6d55cfb018e1cbfe9d96c1ae67390069d

 interface/web/help/index.php

@@ -10,8 +10,7 @@
  <p>&nbsp;</p>
  <p>&nbsp;</p>
  <p>&nbsp;</p>
  <p>&nbsp;
            </p>
  <p>&nbsp;</p>
</div>
</BODY>
</HTML>
</HTML>