A doc comment parser in PHP