Thread:Extension talk:HTMLets/Not working with PHP 5.3.x/reply (6)

Shame on me. I moved the freshly downloaded extension to the wrong wiki. :( This is actually working with PHP 5.3.8. Case closed since r67215 did the job. Thank you for the fix and Cheers