- added hhvm php.ini file usage

Marius Cramer

2014-08-11 9d9ea6f6d55cfb018e1cbfe9d96c1ae67390069d

 interface/web/help/index.php

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