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

Making WordPress.org noreply at wordpress.org
Thu Oct 3 07:55:27 UTC 2019

#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


 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
 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

More information about the wp-meta mailing list