snipmate's php.snippets extended