JavaScript stubs for Chrome Extension API