Added plugin for php folding