if

 (

is_string

 (

$tokens

[

$i

])){

            

$last_space

 = false;

            

$stripStr

 .= 

$tokens

[

$i

];

        

}

        

else

{

            

switch

 (

$tokens

[

$i

][0]){

                

//过滤各种 PHP 注释

                

case

 T_COMMENT:

                

case

 T_DOC_COMMENT:

                    

break

;

                

//过滤空格

                

case

 T_WHITESPACE:

                    

if

 (!

$last_space

){

                        

$stripStr

 .= ' ';

                        

$last_space

 = true;

                    

}

                    

break

;

                

default

:

                    

$last_space

 = false;

                    

$stripStr

 .= 

$tokens

[

$i

][1];