[wp-trac] [WordPress Trac] #63039: Incorrect type for the $public parameter in 'robots_txt' filter

[WordPress Trac]

#63039: Incorrect type for the $public parameter in 'robots_txt' filter
------------------------------+-----------------------
 Reporter:  SergeyBiryukov    |       Owner:  audrasjb
     Type:  defect (bug)      |      Status:  closed
 Priority:  normal            |   Milestone:  6.8
Component:  General           |     Version:
 Severity:  normal            |  Resolution:  fixed
 Keywords:  has-patch commit  |     Focuses:  docs
------------------------------+-----------------------
Changes (by audrasjb):

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


Comment:

 In [changeset:"59946" 59946]:
 {{{
 #!CommitTicketReference repository="" revision="59946"
 General: Cast `$public` param to `bool` in `do_robots()`.

 This changeset properly casts the `$public` variable into `bool` in
 `do_robots()` for better consistency between code and docs.

 Props SergeyBiryukov, shailu25, kapilpaul.
 Fixes #63039.
 }}}

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