Closing a HTML tag in PHP inserts ^F

[toupeira]

See the mapping at line 72, not sure what the function of the <C-F> is in there. For some reasion this gets inserted literally in PHP files, but not in HTML or ERB files. If I remove the <C-F> it seems to still work fine in all filetypes.

[tpope]

It forces reindent, assuming !^F is in 'indentkeys'. It's in the global default, the PHP indent plugin default, and we force the issue, so I don't know how you managed to remove it.

[toupeira]

Ah thanks, learned a new shortcut! The reason seems to be html5.vim which overwrites indentkeys, so I'll go bother them instead ;-)