Thread:Extension talk:HTMLets/editing localsettings HTMLets disables my site

Adding "require_once( "$IP/extensions/HTMLets/HTMLets.php" ); $wgHTMLetsDirectory = "$IP/htmlets";"

to my localsettings.php makes my site unavailable (white page of nothing) - any idea why and how i can fix it? I have to remove those two lines for it to come up. Sorry, i'm a bit new to mediawiki.

Also, the download link to the extension does not work. I had to dig and find this to get the extension http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/HTMLets/

Thanks!