I've just recently switched from Zend.

This can do the job better, faster, and has twice as more settings to tweak it to your liking. More options. More features. It can color code nearly everything you have to work with - even smarty templates (great feature!).
I've yet to find any bugs.

Try it if you haven't already.