disable php folding