CodeFormatter: support formatting PHP files