[wp-meta] [Making WordPress.org] #1719: Plugin Directory Theme

[Making WordPress.org]

#1719: Plugin Directory Theme
------------------------------+---------------------------------------
 Reporter:  obenland          |       Owner:  obenland
     Type:  task              |      Status:  closed
 Priority:  normal            |   Milestone:  Plugin Directory v3 - M4
Component:  Plugin Directory  |  Resolution:  fixed
 Keywords:                    |
------------------------------+---------------------------------------

Comment (by ocean90):

 In [changeset:"3292"]:
 {{{
 #!CommitTicketReference repository="" revision="3292"
 Plugin Directory: In the developers shortcode skip users which don't
 exist.

 Avoids a PHP notice when using the WordPress Meta Environment.

 See #1719.
 }}}

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/1719#comment:48>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org