[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:  accepted
 Priority:  normal            |   Milestone:  6.8
Component:  General           |     Version:
 Severity:  normal            |  Resolution:
 Keywords:  has-patch commit  |     Focuses:  docs
------------------------------+-----------------------
Changes (by audrasjb):

 * keywords:  has-patch => has-patch commit
 * owner:  (none) => audrasjb
 * status:  new => accepted


Comment:

 Yes, sounds better to cas it to `bool`.
 Self assigning for commit.

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