Changed PHP commentstring.