Fix the phpDoc of the `Message` class (see #6110)