Change plugins.svn linting to PHP 7.current please

As a follow up to https://make.wordpress.org/systems/2018/03/12/change-all-svn-php-linting-to-php7/ and https://meta.trac.wordpress.org/ticket/3791 can we please switch the PHP linting for plugins.svn to 7.2 and keep it up-to-date with newer PHP branches as they’re deployed for WordPress.org?

Although this is specifically for plugins.svn, the same should be applicable to all SVNs now, as any which require an older PHP version will be enforced through Travis and other tools.

Having the linter exclude newer syntax is becoming a limitation for plugin developers and with the work being done around plugins specifying minimum PHP versions, and increasing the WordPress minimum versions, is going to result in more plugins requiring PHP 7.1/7.2/etc.

#prio1