Update parameter types in get_comment_time docblock

Author: pbearne

src/wp-includes/comment-template.php

@@ -1167,11 +1167,11 @@ function comment_text( $comment_id = 0, $args = array() ) {
  * @since 1.5.0
  * @since 6.2.0 Added the `$comment_id` parameter.
  *
- * @param string         $format     Optional. PHP date format. Defaults to the 'time_format' option.
- * @param bool           $gmt        Optional. Whether to use the GMT date. Default false.
- * @param bool           $translate  Optional. Whether to translate the time (for use in feeds).
+ * @param string              $format     Optional. PHP date format. Defaults to the 'time_format' option.
+ * @param bool                $gmt        Optional. Whether to use the GMT date. Default false.
+ * @param bool                $translate  Optional. Whether to translate the time (for use in feeds).
  *                                   Default true.
- * @param int|WP_Comment $comment_id Optional. WP_Comment or ID of the comment for which to get the time.
+ * @param int|null|WP_Comment $comment_id Optional. WP_Comment or ID of the comment for which to get the time.
  *                                   Default current comment.
  * @return string The formatted time.
  */