PhpStorm extended folding plugin