Does this work with 1.12?
Fragment of a discussion from Extension talk:HTMLets
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
—The preceding unsigned comment was added by an unknown user on a unknown date.
