bugfix for issue #3230 (comments not removed, when using php short tags)