I\'ve seen this \"-> \" elsewhere used in php. One of the books I used to learn PHP has this in it, but it is never explained. What does it do, how does it work!
$html is an object. The redirect function is a method that belongs to this object. I strongly suggest that you read the PHP documentation on classes and objects to explain these concepts.