Mat Kelly
Mat Kelly
https://github.com/sachinchoolur/replace-jquery
The Omnibox API might be one method to allow the user to enter a URI without needing to navigate to the page on the live web (in the case that...
Usage scenario: 1. User types "Mink " or "mink://" 2. The normal Mink logic is run with the browserAction update. 3. On clicking the Mink icon, an HTML page from...
Per above, using `"omnibox": {"keyword" : "mink"},` in the manifest file will allow "mink " to be typed into the browser's omnibox with anything after being handled by Mink internals....
Another use case, @weiglemc's homepage that previously resided at https://cs.odu.edu/~mweigle now forwards to https://weiglemc.github.io/ . Visiting the live web page prevents mementos/TimeMaps for the origin URI-M from being considered. Some...
This would entail surfacing the logic for creating the base Mink interface for selection from the "Viewing memento" interface. Given that the selection interface is built on activation of the...
On inspection, I believe it is unused in the code.
Verified that it is not a dependency of the miller columns jQuery lib.
Now available in Chrome 88 (current is v90) and documentation says that the Chrome Web Store has been accepting extensions with manifest v3 since January 2021.
https://developer.chrome.com/docs/extensions/mv3/mv2-sunset/ To be deprecated for existing extensions in January 2023