PHP 7 update

Hi,
PHP code checker needs an update, it flagged this as erroneous and I couldn’t save the file:

$args[$key] = $args[$key] ?? $value;

This is the correct code, introduced in PHP 7.

Thank you!