disable php autofolding