- $inst can be replaced by $this.

Falko Timme

2013-10-21 acdd7a74df0850ac9c0671db71a1d040fc83bbba

 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>