mozilla/addon-sdk — pull request #714 by gregglind (2013-01-07 22:24:22+00:00)
Title: Handle undefined __$coverObject (re #624)

If `CoverJS` is not installed, `globals.global.__$coverObject` will be
undefined. Handle this case.