Make getset in php.snippets smarter