changed some key binding and PHP's snippets