better PHP Folding