Как обрабатывать предупреждения для проприетарных / пользовательских свойств встроенных объектов в TypeScript

Question

Я использую Personas, который полагается на собственностьnavigator.id, Поскольку это свойство не является стандартным, компилятор TypeScript генерирует следующее предупреждение:

$ tsc home.ts --out my_ts_generated_code.js
/Users/..../home.ts(27,18): The property 'id' does not exist on value of type 'Navigator'

Но файл.js успешно генерируется и запускается в браузере FF15 без каких-либо предупреждений / сообщений об ошибках.
Я также включаю polyfill для navigator.id, как указано в документации, так navigator.id определенно будет доступно в каждом браузере.

Может ли кто-нибудь подсказать мне, как бороться с этим предупреждением?

index.html

<!-- some HTML omit above -->
<script src="https://login.persona.org/include.js"></script>
<script src="my_ts_generated_code.js"></script>
<button class="btn" id="signin">Sign in</button>
<button class="btn" id="signout">Sign out</button>
<!-- some HTML omit below -->

home.ts

declare var $;

class Student {
    fullname : string;
    constructor(public firstname, public middleinitial, public lastname) {
        this.fullname = firstname + " " + middleinitial + " " + lastname;
    }
}

interface Person {
    firstname: string;
    lastname: string;
}

function greeter(person : Person) {
    return "Hello, " + person.firstname + " " + person.lastname;
}

var user = new Student("Jane", "M.", "User");

$(function() {
    $('#signin').on('click', function(e) {
        e.preventDefault();
        navigator.id.request();
    });

    $('#signout').on('click', function(e) {
        e.preventDefault();
        navigator.id.logout();
    });
    //document.body.innerHTML = greeter(user);
});

Answer 1

1) Вы можете переинтерпретировать штурман навигатора.

(<any>navigator).id.request();

2) Вы можете заявить, что вы поддерживаете себя

mycompany.lib.d.ts

interface Navigator {
  id: any
}

app.ts

navigator.id.request();

посмотреть это видео http://channel9.msdn.com/posts/Anders-Hejlsberg-Introducing-TypeScript/ Там Андерс рассказывает, как jQuery.UI добавляет новые методы в jQuery (см. 46 мин.)

Answer 2

Добавить чеки, как if(navigator.id != null && typeof navigator.id != 'undefined') перед stmt, на который ссылается navigator.id