[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:  pending-systems   |
------------------------------+---------------------
Changes (by dd32):

 * status:  new => closed
 * resolution:   => fixed


Comment:

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

 The version will be increased in the future when we upgrade what we're
 using on other WordPress.org servers, as @stankea
 [https://make.wordpress.org/systems/2019/03/18/change-plugins-svn-linting-
 to-php-7-current-please/#comment-1597 said on the system request]:
 > The server was using the Debian’s latest version (which is 7.0 on that
 server). I’ve applied the nginx-php role (which also includes cli) we use
 on other wporg web servers, so it’s running 7.2.3 now, and should use
 newer version if/when we update the wporg web servers php version.

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