[wp-meta] [Making WordPress.org] #5257: Bump ServeHappy PHP recommendation

[Making WordPress.org]

#5257: Bump ServeHappy PHP recommendation
-----------------------+-----------------------------
 Reporter:  Clorith    |       Owner:  SergeyBiryukov
     Type:  task       |      Status:  closed
 Priority:  normal     |   Milestone:
Component:  API        |  Resolution:  fixed
 Keywords:  has-patch  |
-----------------------+-----------------------------

Comment (by xedin.unknown):

 @SergeyBiryukov, the page you linked to talks about how to encourage users
 to upgrade to PHP 7.1. It doesn't seem to mention when or whether this
 will actually become a requirement. If this is a real decision, maybe
 worth including it there?

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