PHP headers and docbloc