UltiSnippets and default PHP header snippet