[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:  (none)
     Type:  enhancement             |      Status:  new
 Priority:  normal                  |   Milestone:
Component:  General                 |  Resolution:
 Keywords:  has-patch dev-feedback  |
------------------------------------+---------------------

Comment (by dd32):

 I'm going to fix this by using a constant which will need updating rather
 than automatically pulling it from the plugin directory.

 The reason is simple - `wordpress.org/` doesn't actually run the `wporg-
 main` theme and instead is hard-coded. As we already have another hard-
 coded number here (`WP_MARKET_SHARE`) introducing another constant here
 seems fine. It only needs updating every 5-10k plugins which probably
 coincides with the market share changes anyway.

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