Document php snippets