[wp-meta] [Making WordPress.org] #3870: Update total plugin counter in WP.org

[Making WordPress.org]

#3870: Update total plugin counter in WP.org
------------------------------------+---------------------
 Reporter:  vaishalipanchal         |       Owner:  dd32
     Type:  enhancement             |      Status:  closed
 Priority:  normal                  |   Milestone:
Component:  General                 |  Resolution:  fixed
 Keywords:  has-patch dev-feedback  |
------------------------------------+---------------------
Changes (by dd32):

 * owner:  (none) => dd32
 * status:  new => closed
 * resolution:   => fixed


Comment:

 In [changeset:"8042" 8042]:
 {{{
 #!CommitTicketReference repository="" revision="8042"
 WordPress Main Theme: Pull in the latest count of plugins on WordPress.org
 from a new constant rather than hard-coding it.

 Props vaishalipanchal for original patch, dd32.
 Fixes #3870.
 }}}

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