Added 'extends html' to top of php.snippets