$value) { $str .= ' $_SERVER[\''.$key.'\'] = \''.$value.'\';'; } $str .= ' '.chr(63).'> '; // output the string as highlighted PHP source highlight_string($str); ?>