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

Affirmative. After upgrade to PHP 5.3.8 this extension stopped working (same error message). (MW 1.17.0) I guess I will file a bug. Cheers

Edit: Done with bug 32714