Follow-up to #17321: Add missing PHPdoc