[wp-trac] [WordPress Trac] #44723: The user ID in a `WP_User_Request` is not an integer as stated

[WordPress Trac]

#44723: The user ID in a `WP_User_Request` is not an integer as stated
--------------------------+--------------------------
 Reporter:  desrosj       |       Owner:  westonruter
     Type:  defect (bug)  |      Status:  closed
 Priority:  normal        |   Milestone:  7.1
Component:  Privacy       |     Version:  4.9.6
 Severity:  normal        |  Resolution:  fixed
 Keywords:  has-patch     |     Focuses:  docs
--------------------------+--------------------------
Changes (by westonruter):

 * status:  reviewing => closed
 * resolution:   => fixed


Comment:

 In [changeset:"62437" 62437]:
 {{{
 #!CommitTicketReference repository="" revision="62437"
 Privacy: Correct type of `WP_User_Request::$user_id` from `int` to `string
 `/`numeric-string`.

 Also adds `numeric-string` as richer PHPStan type to
 `WP_Post::$post_author` and `WP_Post::$comment_count`.

 Developed in https://github.com/WordPress/wordpress-develop/pull/12018.
 Follow-up to r25086, r43011.

 Props masteradhoc, desrosj, garrett-eclipse, johnbillion, westonruter,
 apermo, SergeyBiryukov, TZ-Media, andizer, javorszky.
 See #22324, #25092, #43443, #43985, #64898.
 Fixes #44723.
 }}}

-- 
Ticket URL: <https://core.trac.wordpress.org/ticket/44723#comment:24>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform