Web developmentdevtools ExtensionWeihua WangAdds a new panel to the developer tools. The panel contains buttons that demonstrate various basic features of the devtools API.