devtools Extension Weihua Wang מאת

Adds a new panel to the developer tools. The panel contains buttons that demonstrate various basic features of the devtools API.