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

Я использую 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);
});

Ответ 1

1) Вы можете переосмыслить навигационную поддержку.

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

2) Вы можете объявить id prop youself

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 мин)

Ответ 2

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