disable auto folding for php files