[wp-meta] [Making WordPress.org] #3791: Consider bumping pre-commit checker on plugins to PHP 7.1

[Making WordPress.org]

#3791: Consider bumping pre-commit checker on plugins to PHP 7.1
------------------------------+---------------------
 Reporter:  Ipstenu           |       Owner:  (none)
     Type:  defect            |      Status:  closed
 Priority:  high              |   Milestone:
Component:  Plugin Directory  |  Resolution:  fixed
 Keywords:                    |
------------------------------+---------------------

Comment (by xedin.unknown):

 Like I wrote before, and with agreement with @Rarst, this is hardly a
 solution, because it still sets a hard ceiling to an arbitrary version of
 PHP. The only acceptable solution IMO is to make the check optional. This
 means that people who require hard compatibility with WP.org can still
 have that, and everyone can still be informed if their application has
 problems, but nevertheless it can and should be the choice of product
 developers which PHP version to support.

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