Fix PHP folding