Optimize encode_php_tags()
2 files changed