Aerys\HPack::encode_dynamic_integer PHP Method

    private static function encode_dynamic_integer($int)
    {
        $out = "";
        $i = 0;
        while ($int >> $i > 0x80) {
            $out .= \chr(0x80 | $int >> $i & 0x7f);
            $i += 7;
        }
        return $out . chr($int >> $i);
    }