Add short tags in php snippets