Thread:Extension talk:HTMLets/Does this work with 1.12?/reply (2)

I figured my problem out. When I downloaded the files, I used the 'browse' link (http://svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/HTMLets/) which took me to the wrong versions of the files. It seemed to download 'log' files or something, and not the actual PHP extensions. Thanks