php highliting for php snippets