[php-sha3] update