Added PHP folding plugin