let php_folding = 0