filterInput

This add-on injects JavaScript into web pages.

What it does

This extension just includes:

• a content script, "filterInput.js", that is injected into any pages under "doc.babylonjs.com/" or any of its subdomains

The content script adds an input field that filters the Index list items.