[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 Rarst):

 > Sorry for the delay everyone, the PHP lint checker has been increased to
 PHP 7.2.

 I appreciate the progress, but I urge to reconsider if the approach is
 optimal.

 7.2 was released **almost two years ago**.

 Is it an improvement over 7.0? Yes.

 Is it an adequate PHP version to **make a hard ceiling** for repository
 plugins? No.

 Is the "whatever server happens to have" adequate ''policy'' to manage
 what is allowed in the repo? No.

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