tern definition file for Thunderbird Extension.