[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:  (none)
     Type:  defect (bug)    |      Status:  new
 Priority:  normal          |   Milestone:  6.8
Component:  General         |     Version:
 Severity:  normal          |  Resolution:
 Keywords:  has-patch       |     Focuses:  docs
----------------------------+---------------------
Changes (by shailu25):

 * keywords:   => has-patch


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