added php-html-indent, updated keybindings to be more strict about arrows