private function indentFix($in){Może być podpowiedź dla refaktoryzacji, bo nic mi do głowy nie przychodzi teraz, żeby to lepiej napisać
$t=$out='';
$in=preg_replace('/\t/','',$in);
while(strlen($in)){
if($in[0]=='}'){
$out=substr($out,0,-1);
$t=substr($t,1);
}
$out.=$in[0];
if($in[0]=='{'){
$t.="\t";
} else
if($in[0]=="\n"){
$out.=$t;
}
$in=substr($in,1);
}
return $out;
}
