Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
tooling: add option to explicitly disable tooling hooks #378
Currently, tooling hooks are provided if either the developer tools extension is active, or tooling hooks are enabled explicitly. It should also be possible to explicitly prevent the hooks from being registered, e.g. if page/widget-definitions have been stripped of tooling attributes in production.